Document (#42905)

Author

Bischoff, M.

Title

KI lernt die Sprache der Mathematik

Source

Spektrum der Wissenschaft. 2020, H.7, S.27-28

Year

2020

Series

Informatik

Abstract

Bisher konnten neuronale Netze bloß einfache Ausdrücke addieren und multiplizieren. Nun haben Informatiker einen selbstlernenden Algorithmus vorgestellt, der Differenzialgleichungen löst und Stammfunktionen berechnet - und dabei alle bisherigen Methoden übertrifft.

Content

Verweis auf: Lample, G., Charton, F.: Deep learning for symbolic mathematics. ArXiv: 11912.01412, 2019.

Field

Informatik
Mathematik

Similar documents (author)

1. Bischoff, U.: ¬Die Informationslawine : wie ist die Nachrichtenfülle zu bewältigen? (1967) 5.66

   5.664006 = sum of:
     5.664006 = weight(author_txt:bischoff in 4974) [ClassicSimilarity], result of:
       5.664006 = fieldWeight in 4974, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.06241 = idf(docFreq=13, maxDocs=44421)
         0.625 = fieldNorm(doc=4974)
   

2. Bischoff, M.: ¬Das grosse Experiment (2021) 5.66

   5.664006 = sum of:
     5.664006 = weight(author_txt:bischoff in 1330) [ClassicSimilarity], result of:
       5.664006 = fieldWeight in 1330, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.06241 = idf(docFreq=13, maxDocs=44421)
         0.625 = fieldNorm(doc=1330)
   

3. Bischoff, M.: Eine (fast) unlösbare Aufgabe mit tragischem Ende : die fabelhafte Welt der Mathematik (2023) 5.66

   5.664006 = sum of:
     5.664006 = weight(author_txt:bischoff in 1933) [ClassicSimilarity], result of:
       5.664006 = fieldWeight in 1933, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.06241 = idf(docFreq=13, maxDocs=44421)
         0.625 = fieldNorm(doc=1933)
   

4. Bischoff, M.: Hobby-Mathematiker findet die lang ersehnte Einstein-Kachel : Mathematisches Mosaik (2023) 5.66

   5.664006 = sum of:
     5.664006 = weight(author_txt:bischoff in 1937) [ClassicSimilarity], result of:
       5.664006 = fieldWeight in 1937, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.06241 = idf(docFreq=13, maxDocs=44421)
         0.625 = fieldNorm(doc=1937)
   

5. Bischoff, M.: ¬Das Dornröschen-Problem spaltet die Mathewelt : Die fabelhafte Welt der Mathematik (2023) 5.66

   5.664006 = sum of:
     5.664006 = weight(author_txt:bischoff in 1941) [ClassicSimilarity], result of:
       5.664006 = fieldWeight in 1941, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.06241 = idf(docFreq=13, maxDocs=44421)
         0.625 = fieldNorm(doc=1941)
   

Similar documents (content)

1. Lexikon der Mathematik (2000-2003) 0.20

   0.19798763 = sum of:
     0.19798763 = product of:
       0.72595465 = sum of:
         0.02260147 = weight(abstract_txt:einen in 5614) [ClassicSimilarity], result of:
           0.02260147 = score(doc=5614,freq=1.0), product of:
             0.06786139 = queryWeight, product of:
               4.263084 = idf(docFreq=1699, maxDocs=44421)
               0.015918382 = queryNorm
             0.33305344 = fieldWeight in 5614, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.263084 = idf(docFreq=1699, maxDocs=44421)
               0.078125 = fieldNorm(doc=5614)
         0.056485232 = weight(abstract_txt:methoden in 5614) [ClassicSimilarity], result of:
           0.056485232 = score(doc=5614,freq=1.0), product of:
             0.124974556 = queryWeight, product of:
               1.3570611 = boost
               5.7852654 = idf(docFreq=370, maxDocs=44421)
               0.015918382 = queryNorm
             0.45197386 = fieldWeight in 5614, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.7852654 = idf(docFreq=370, maxDocs=44421)
               0.078125 = fieldNorm(doc=5614)
         0.22042647 = weight(abstract_txt:mathematik in 5614) [ClassicSimilarity], result of:
           0.22042647 = score(doc=5614,freq=5.0), product of:
             0.1811552 = queryWeight, product of:
               1.6338569 = boost
               6.965269 = idf(docFreq=113, maxDocs=44421)
               0.015918382 = queryNorm
             1.2167825 = fieldWeight in 5614, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               6.965269 = idf(docFreq=113, maxDocs=44421)
               0.078125 = fieldNorm(doc=5614)
         0.11381136 = weight(abstract_txt:netze in 5614) [ClassicSimilarity], result of:
           0.11381136 = score(doc=5614,freq=1.0), product of:
             0.19936797 = queryWeight, product of:
               1.7140217 = boost
               7.3070183 = idf(docFreq=80, maxDocs=44421)
               0.015918382 = queryNorm
             0.5708608 = fieldWeight in 5614, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.3070183 = idf(docFreq=80, maxDocs=44421)
               0.078125 = fieldNorm(doc=5614)
         0.15149343 = weight(abstract_txt:algorithmus in 5614) [ClassicSimilarity], result of:
           0.15149343 = score(doc=5614,freq=1.0), product of:
             0.2412464 = queryWeight, product of:
               1.8854674 = boost
               8.037906 = idf(docFreq=38, maxDocs=44421)
               0.015918382 = queryNorm
             0.6279614 = fieldWeight in 5614, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.037906 = idf(docFreq=38, maxDocs=44421)
               0.078125 = fieldNorm(doc=5614)
         0.1611367 = weight(abstract_txt:neuronale in 5614) [ClassicSimilarity], result of:
           0.1611367 = score(doc=5614,freq=1.0), product of:
             0.25137842 = queryWeight, product of:
               1.9246536 = boost
               8.20496 = idf(docFreq=32, maxDocs=44421)
               0.015918382 = queryNorm
             0.6410125 = fieldWeight in 5614, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.20496 = idf(docFreq=32, maxDocs=44421)
               0.078125 = fieldNorm(doc=5614)
       0.27272728 = coord(6/22)
   

2. Devlin, K.: ¬Das Mathe-Gen : oder wie sich das mathematische Denken entwickelt und warum Sie Zahlen ruhig vergessen können (2001) 0.15

   0.15484959 = sum of:
     0.15484959 = product of:
       0.5677818 = sum of:
         0.015821029 = weight(abstract_txt:einen in 5019) [ClassicSimilarity], result of:
           0.015821029 = score(doc=5019,freq=1.0), product of:
             0.06786139 = queryWeight, product of:
               4.263084 = idf(docFreq=1699, maxDocs=44421)
               0.015918382 = queryNorm
             0.2331374 = fieldWeight in 5019, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.263084 = idf(docFreq=1699, maxDocs=44421)
               0.0546875 = fieldNorm(doc=5019)
         0.029257752 = weight(abstract_txt:haben in 5019) [ClassicSimilarity], result of:
           0.029257752 = score(doc=5019,freq=2.0), product of:
             0.08114908 = queryWeight, product of:
               1.0935292 = boost
               4.661807 = idf(docFreq=1140, maxDocs=44421)
               0.015918382 = queryNorm
             0.36054325 = fieldWeight in 5019, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.661807 = idf(docFreq=1140, maxDocs=44421)
               0.0546875 = fieldNorm(doc=5019)
         0.04611573 = weight(abstract_txt:alle in 5019) [ClassicSimilarity], result of:
           0.04611573 = score(doc=5019,freq=3.0), product of:
             0.096011944 = queryWeight, product of:
               1.1894639 = boost
               5.070784 = idf(docFreq=757, maxDocs=44421)
               0.015918382 = queryNorm
             0.48031244 = fieldWeight in 5019, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.070784 = idf(docFreq=757, maxDocs=44421)
               0.0546875 = fieldNorm(doc=5019)
         0.097863026 = weight(abstract_txt:sprache in 5019) [ClassicSimilarity], result of:
           0.097863026 = score(doc=5019,freq=5.0), product of:
             0.13372791 = queryWeight, product of:
               1.4037819 = boost
               5.98444 = idf(docFreq=303, maxDocs=44421)
               0.015918382 = queryNorm
             0.73180705 = fieldWeight in 5019, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               5.98444 = idf(docFreq=303, maxDocs=44421)
               0.0546875 = fieldNorm(doc=5019)
         0.23903824 = weight(abstract_txt:mathematik in 5019) [ClassicSimilarity], result of:
           0.23903824 = score(doc=5019,freq=12.0), product of:
             0.1811552 = queryWeight, product of:
               1.6338569 = boost
               6.965269 = idf(docFreq=113, maxDocs=44421)
               0.015918382 = queryNorm
             1.3195218 = fieldWeight in 5019, product of:
               3.4641016 = tf(freq=12.0), with freq of:
                 12.0 = termFreq=12.0
               6.965269 = idf(docFreq=113, maxDocs=44421)
               0.0546875 = fieldNorm(doc=5019)
         0.13968602 = weight(abstract_txt:löst in 5019) [ClassicSimilarity], result of:
           0.13968602 = score(doc=5019,freq=1.0), product of:
             0.28989112 = queryWeight, product of:
               2.066836 = boost
               8.811096 = idf(docFreq=17, maxDocs=44421)
               0.015918382 = queryNorm
             0.48185682 = fieldWeight in 5019, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.811096 = idf(docFreq=17, maxDocs=44421)
               0.0546875 = fieldNorm(doc=5019)
       0.27272728 = coord(6/22)
   

3. Krause, J.: Integration von Ansätzen neuronaler Netzwerke in die Systemarchitektur von ViBSoz und CARMEN (2001) 0.15

   0.1468222 = sum of:
     0.1468222 = product of:
       0.6460177 = sum of:
         0.031642057 = weight(abstract_txt:einen in 2698) [ClassicSimilarity], result of:
           0.031642057 = score(doc=2698,freq=1.0), product of:
             0.06786139 = queryWeight, product of:
               4.263084 = idf(docFreq=1699, maxDocs=44421)
               0.015918382 = queryNorm
             0.4662748 = fieldWeight in 2698, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.263084 = idf(docFreq=1699, maxDocs=44421)
               0.109375 = fieldNorm(doc=2698)
         0.07907932 = weight(abstract_txt:methoden in 2698) [ClassicSimilarity], result of:
           0.07907932 = score(doc=2698,freq=1.0), product of:
             0.124974556 = queryWeight, product of:
               1.3570611 = boost
               5.7852654 = idf(docFreq=370, maxDocs=44421)
               0.015918382 = queryNorm
             0.6327634 = fieldWeight in 2698, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.7852654 = idf(docFreq=370, maxDocs=44421)
               0.109375 = fieldNorm(doc=2698)
         0.084369965 = weight(abstract_txt:bisher in 2698) [ClassicSimilarity], result of:
           0.084369965 = score(doc=2698,freq=1.0), product of:
             0.13048829 = queryWeight, product of:
               1.386674 = boost
               5.9115076 = idf(docFreq=326, maxDocs=44421)
               0.015918382 = queryNorm
             0.64657116 = fieldWeight in 2698, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.9115076 = idf(docFreq=326, maxDocs=44421)
               0.109375 = fieldNorm(doc=2698)
         0.22533497 = weight(abstract_txt:netze in 2698) [ClassicSimilarity], result of:
           0.22533497 = score(doc=2698,freq=2.0), product of:
             0.19936797 = queryWeight, product of:
               1.7140217 = boost
               7.3070183 = idf(docFreq=80, maxDocs=44421)
               0.015918382 = queryNorm
             1.1302466 = fieldWeight in 2698, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.3070183 = idf(docFreq=80, maxDocs=44421)
               0.109375 = fieldNorm(doc=2698)
         0.22559139 = weight(abstract_txt:neuronale in 2698) [ClassicSimilarity], result of:
           0.22559139 = score(doc=2698,freq=1.0), product of:
             0.25137842 = queryWeight, product of:
               1.9246536 = boost
               8.20496 = idf(docFreq=32, maxDocs=44421)
               0.015918382 = queryNorm
             0.8974175 = fieldWeight in 2698, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.20496 = idf(docFreq=32, maxDocs=44421)
               0.109375 = fieldNorm(doc=2698)
       0.22727273 = coord(5/22)
   

4. Braun, H.: Neuronale Netze : Optimierung durch Lernen und Evolution (1997) 0.14

   0.140117 = sum of:
     0.140117 = product of:
       0.7706435 = sum of:
         0.07907932 = weight(abstract_txt:methoden in 730) [ClassicSimilarity], result of:
           0.07907932 = score(doc=730,freq=1.0), product of:
             0.124974556 = queryWeight, product of:
               1.3570611 = boost
               5.7852654 = idf(docFreq=370, maxDocs=44421)
               0.015918382 = queryNorm
             0.6327634 = fieldWeight in 730, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.7852654 = idf(docFreq=370, maxDocs=44421)
               0.109375 = fieldNorm(doc=730)
         0.14719479 = weight(abstract_txt:bisherigen in 730) [ClassicSimilarity], result of:
           0.14719479 = score(doc=730,freq=1.0), product of:
             0.18910713 = queryWeight, product of:
               1.6693314 = boost
               7.1165 = idf(docFreq=97, maxDocs=44421)
               0.015918382 = queryNorm
             0.77836716 = fieldWeight in 730, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.1165 = idf(docFreq=97, maxDocs=44421)
               0.109375 = fieldNorm(doc=730)
         0.22533497 = weight(abstract_txt:netze in 730) [ClassicSimilarity], result of:
           0.22533497 = score(doc=730,freq=2.0), product of:
             0.19936797 = queryWeight, product of:
               1.7140217 = boost
               7.3070183 = idf(docFreq=80, maxDocs=44421)
               0.015918382 = queryNorm
             1.1302466 = fieldWeight in 730, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.3070183 = idf(docFreq=80, maxDocs=44421)
               0.109375 = fieldNorm(doc=730)
         0.3190344 = weight(abstract_txt:neuronale in 730) [ClassicSimilarity], result of:
           0.3190344 = score(doc=730,freq=2.0), product of:
             0.25137842 = queryWeight, product of:
               1.9246536 = boost
               8.20496 = idf(docFreq=32, maxDocs=44421)
               0.015918382 = queryNorm
             1.26914 = fieldWeight in 730, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               8.20496 = idf(docFreq=32, maxDocs=44421)
               0.109375 = fieldNorm(doc=730)
       0.18181819 = coord(4/22)
   

5. Eurich, C.W.; Wilke, S.: Künstliches Gedächtnis : Neurotheorie für Anfänger (I) (2002) 0.13

   0.12973659 = sum of:
     0.12973659 = product of:
       0.9514016 = sum of:
         0.27314726 = weight(abstract_txt:netze in 2311) [ClassicSimilarity], result of:
           0.27314726 = score(doc=2311,freq=1.0), product of:
             0.19936797 = queryWeight, product of:
               1.7140217 = boost
               7.3070183 = idf(docFreq=80, maxDocs=44421)
               0.015918382 = queryNorm
             1.3700659 = fieldWeight in 2311, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.3070183 = idf(docFreq=80, maxDocs=44421)
               0.1875 = fieldNorm(doc=2311)
         0.2915263 = weight(abstract_txt:einfache in 2311) [ClassicSimilarity], result of:
           0.2915263 = score(doc=2311,freq=1.0), product of:
             0.2082137 = queryWeight, product of:
               1.7516335 = boost
               7.467361 = idf(docFreq=68, maxDocs=44421)
               0.015918382 = queryNorm
             1.4001302 = fieldWeight in 2311, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.467361 = idf(docFreq=68, maxDocs=44421)
               0.1875 = fieldNorm(doc=2311)
         0.38672808 = weight(abstract_txt:neuronale in 2311) [ClassicSimilarity], result of:
           0.38672808 = score(doc=2311,freq=1.0), product of:
             0.25137842 = queryWeight, product of:
               1.9246536 = boost
               8.20496 = idf(docFreq=32, maxDocs=44421)
               0.015918382 = queryNorm
             1.53843 = fieldWeight in 2311, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.20496 = idf(docFreq=32, maxDocs=44421)
               0.1875 = fieldNorm(doc=2311)
       0.13636364 = coord(3/22)