Search (620 results, page 1 of 31)

  • × type_ss:"a"
  • × year_i:[2010 TO 2020}
  1. Suchenwirth, L.: Sacherschliessung in Zeiten von Corona : neue Herausforderungen und Chancen (2019) 0.34
    0.3378041 = product of:
      0.45040548 = sum of:
        0.06679957 = product of:
          0.20039871 = sum of:
            0.20039871 = weight(_text_:3a in 484) [ClassicSimilarity], result of:
              0.20039871 = score(doc=484,freq=2.0), product of:
                0.3565699 = queryWeight, product of:
                  8.478011 = idf(docFreq=24, maxDocs=44218)
                  0.0420582 = queryNorm
                0.56201804 = fieldWeight in 484, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  8.478011 = idf(docFreq=24, maxDocs=44218)
                  0.046875 = fieldNorm(doc=484)
          0.33333334 = coord(1/3)
        0.28340656 = weight(_text_:2f in 484) [ClassicSimilarity], result of:
          0.28340656 = score(doc=484,freq=4.0), product of:
            0.3565699 = queryWeight, product of:
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.0420582 = queryNorm
            0.7948135 = fieldWeight in 484, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.046875 = fieldNorm(doc=484)
        0.10019936 = product of:
          0.20039871 = sum of:
            0.20039871 = weight(_text_:3a in 484) [ClassicSimilarity], result of:
              0.20039871 = score(doc=484,freq=2.0), product of:
                0.3565699 = queryWeight, product of:
                  8.478011 = idf(docFreq=24, maxDocs=44218)
                  0.0420582 = queryNorm
                0.56201804 = fieldWeight in 484, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  8.478011 = idf(docFreq=24, maxDocs=44218)
                  0.046875 = fieldNorm(doc=484)
          0.5 = coord(1/2)
      0.75 = coord(3/4)
    
    Footnote
    https%3A%2F%2Fjournals.univie.ac.at%2Findex.php%2Fvoebm%2Farticle%2Fdownload%2F5332%2F5271%2F&usg=AOvVaw2yQdFGHlmOwVls7ANCpTii.
  2. Zeng, Q.; Yu, M.; Yu, W.; Xiong, J.; Shi, Y.; Jiang, M.: Faceted hierarchy : a new graph type to organize scientific concepts and a construction method (2019) 0.28
    0.27554825 = product of:
      0.36739767 = sum of:
        0.06679957 = product of:
          0.20039871 = sum of:
            0.20039871 = weight(_text_:3a in 400) [ClassicSimilarity], result of:
              0.20039871 = score(doc=400,freq=2.0), product of:
                0.3565699 = queryWeight, product of:
                  8.478011 = idf(docFreq=24, maxDocs=44218)
                  0.0420582 = queryNorm
                0.56201804 = fieldWeight in 400, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  8.478011 = idf(docFreq=24, maxDocs=44218)
                  0.046875 = fieldNorm(doc=400)
          0.33333334 = coord(1/3)
        0.20039871 = weight(_text_:2f in 400) [ClassicSimilarity], result of:
          0.20039871 = score(doc=400,freq=2.0), product of:
            0.3565699 = queryWeight, product of:
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.0420582 = queryNorm
            0.56201804 = fieldWeight in 400, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.046875 = fieldNorm(doc=400)
        0.10019936 = product of:
          0.20039871 = sum of:
            0.20039871 = weight(_text_:3a in 400) [ClassicSimilarity], result of:
              0.20039871 = score(doc=400,freq=2.0), product of:
                0.3565699 = queryWeight, product of:
                  8.478011 = idf(docFreq=24, maxDocs=44218)
                  0.0420582 = queryNorm
                0.56201804 = fieldWeight in 400, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  8.478011 = idf(docFreq=24, maxDocs=44218)
                  0.046875 = fieldNorm(doc=400)
          0.5 = coord(1/2)
      0.75 = coord(3/4)
    
    Content
    Vgl.: https%3A%2F%2Faclanthology.org%2FD19-5317.pdf&usg=AOvVaw0ZZFyq5wWTtNTvNkrvjlGA.
  3. Loos, A.: ¬Die Million ist geknackt (2015) 0.08
    0.07869687 = product of:
      0.15739374 = sum of:
        0.1232039 = product of:
          0.2464078 = sum of:
            0.2464078 = weight(_text_:mathematik in 4208) [ClassicSimilarity], result of:
              0.2464078 = score(doc=4208,freq=4.0), product of:
                0.23509963 = queryWeight, product of:
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.0420582 = queryNorm
                1.0480995 = fieldWeight in 4208, product of:
                  2.0 = tf(freq=4.0), with freq of:
                    4.0 = termFreq=4.0
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.09375 = fieldNorm(doc=4208)
          0.5 = coord(1/2)
        0.03418983 = product of:
          0.06837966 = sum of:
            0.06837966 = weight(_text_:22 in 4208) [ClassicSimilarity], result of:
              0.06837966 = score(doc=4208,freq=2.0), product of:
                0.14728065 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.0420582 = queryNorm
                0.46428138 = fieldWeight in 4208, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.09375 = fieldNorm(doc=4208)
          0.5 = coord(1/2)
      0.5 = coord(2/4)
    
    Abstract
    Bericht zum millionsten Mathematik-Artikel im Preprint-Archiv arXiv.
    Date
    7. 4.2015 17:22:03
    Field
    Mathematik
  4. Wolchover, N.: Wie ein Aufsehen erregender Beweis kaum Beachtung fand (2017) 0.07
    0.07148151 = product of:
      0.14296302 = sum of:
        0.102669924 = product of:
          0.20533985 = sum of:
            0.20533985 = weight(_text_:mathematik in 3582) [ClassicSimilarity], result of:
              0.20533985 = score(doc=3582,freq=4.0), product of:
                0.23509963 = queryWeight, product of:
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.0420582 = queryNorm
                0.8734163 = fieldWeight in 3582, product of:
                  2.0 = tf(freq=4.0), with freq of:
                    4.0 = termFreq=4.0
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.078125 = fieldNorm(doc=3582)
          0.5 = coord(1/2)
        0.040293105 = product of:
          0.08058621 = sum of:
            0.08058621 = weight(_text_:22 in 3582) [ClassicSimilarity], result of:
              0.08058621 = score(doc=3582,freq=4.0), product of:
                0.14728065 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.0420582 = queryNorm
                0.54716086 = fieldWeight in 3582, product of:
                  2.0 = tf(freq=4.0), with freq of:
                    4.0 = termFreq=4.0
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.078125 = fieldNorm(doc=3582)
          0.5 = coord(1/2)
      0.5 = coord(2/4)
    
    Date
    22. 4.2017 10:42:05
    22. 4.2017 10:48:38
    Field
    Mathematik
    Series
    Hintergrund: Mathematik
  5. Herb, U.; Beucke, D.: ¬Die Zukunft der Impact-Messung : Social Media, Nutzung und Zitate im World Wide Web (2013) 0.07
    0.06679957 = product of:
      0.2671983 = sum of:
        0.2671983 = weight(_text_:2f in 2188) [ClassicSimilarity], result of:
          0.2671983 = score(doc=2188,freq=2.0), product of:
            0.3565699 = queryWeight, product of:
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.0420582 = queryNorm
            0.7493574 = fieldWeight in 2188, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.0625 = fieldNorm(doc=2188)
      0.25 = coord(1/4)
    
    Content
    Vgl. unter: https://www.leibniz-science20.de%2Fforschung%2Fprojekte%2Faltmetrics-in-verschiedenen-wissenschaftsdisziplinen%2F&ei=2jTgVaaXGcK4Udj1qdgB&usg=AFQjCNFOPdONj4RKBDf9YDJOLuz3lkGYlg&sig2=5YI3KWIGxBmk5_kv0P_8iQ.
  6. Guidi, F.; Sacerdoti Coen, C.: ¬A survey on retrieval of mathematical knowledge (2015) 0.05
    0.05054506 = product of:
      0.10109012 = sum of:
        0.07259859 = product of:
          0.14519718 = sum of:
            0.14519718 = weight(_text_:mathematik in 5865) [ClassicSimilarity], result of:
              0.14519718 = score(doc=5865,freq=2.0), product of:
                0.23509963 = queryWeight, product of:
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.0420582 = queryNorm
                0.61759853 = fieldWeight in 5865, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.078125 = fieldNorm(doc=5865)
          0.5 = coord(1/2)
        0.028491527 = product of:
          0.056983054 = sum of:
            0.056983054 = weight(_text_:22 in 5865) [ClassicSimilarity], result of:
              0.056983054 = score(doc=5865,freq=2.0), product of:
                0.14728065 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.0420582 = queryNorm
                0.38690117 = fieldWeight in 5865, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.078125 = fieldNorm(doc=5865)
          0.5 = coord(1/2)
      0.5 = coord(2/4)
    
    Date
    22. 2.2017 12:51:57
    Field
    Mathematik
  7. Göbel, S.: 80-jähriges Jubiläum des Zentralblattes für Mathematik : Einblicke in die Geschichte des Zentralblattes (2011) 0.04
    0.044010565 = product of:
      0.17604226 = sum of:
        0.17604226 = product of:
          0.35208452 = sum of:
            0.35208452 = weight(_text_:mathematik in 4836) [ClassicSimilarity], result of:
              0.35208452 = score(doc=4836,freq=6.0), product of:
                0.23509963 = queryWeight, product of:
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.0420582 = queryNorm
                1.4975971 = fieldWeight in 4836, product of:
                  2.4494898 = tf(freq=6.0), with freq of:
                    6.0 = termFreq=6.0
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.109375 = fieldNorm(doc=4836)
          0.5 = coord(1/2)
      0.25 = coord(1/4)
    
    Field
    Mathematik
    Object
    Zentralblatt für Mathematik
  8. Rehurek, R.: Machine learning in text analysis (2011) 0.04
    0.04106797 = product of:
      0.16427188 = sum of:
        0.16427188 = product of:
          0.32854375 = sum of:
            0.32854375 = weight(_text_:mathematik in 34) [ClassicSimilarity], result of:
              0.32854375 = score(doc=34,freq=4.0), product of:
                0.23509963 = queryWeight, product of:
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.0420582 = queryNorm
                1.3974661 = fieldWeight in 34, product of:
                  2.0 = tf(freq=4.0), with freq of:
                    4.0 = termFreq=4.0
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.125 = fieldNorm(doc=34)
          0.5 = coord(1/2)
      0.25 = coord(1/4)
    
    Abstract
    Vortrag im Zentralblatt für Mathematik am 27.10.2011.
    Field
    Mathematik
  9. Sojka, P.; Liska, M.: ¬The art of mathematics retrieval (2011) 0.04
    0.039512094 = product of:
      0.07902419 = sum of:
        0.050819017 = product of:
          0.101638034 = sum of:
            0.101638034 = weight(_text_:mathematik in 3450) [ClassicSimilarity], result of:
              0.101638034 = score(doc=3450,freq=2.0), product of:
                0.23509963 = queryWeight, product of:
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.0420582 = queryNorm
                0.432319 = fieldWeight in 3450, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.0546875 = fieldNorm(doc=3450)
          0.5 = coord(1/2)
        0.028205173 = product of:
          0.056410346 = sum of:
            0.056410346 = weight(_text_:22 in 3450) [ClassicSimilarity], result of:
              0.056410346 = score(doc=3450,freq=4.0), product of:
                0.14728065 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.0420582 = queryNorm
                0.38301262 = fieldWeight in 3450, product of:
                  2.0 = tf(freq=4.0), with freq of:
                    4.0 = termFreq=4.0
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.0546875 = fieldNorm(doc=3450)
          0.5 = coord(1/2)
      0.5 = coord(2/4)
    
    Content
    Vgl.: DocEng2011, September 19-22, 2011, Mountain View, California, USA Copyright 2011 ACM 978-1-4503-0863-2/11/09
    Date
    22. 2.2017 13:00:42
    Field
    Mathematik
  10. Göbel, S.; Sperber, W.: Bibliographische Klassifikationen in der Mathematik : Werkzeuge der inhaltlichen Erschließung und für das Retrieval (2010) 0.04
    0.035934474 = product of:
      0.1437379 = sum of:
        0.1437379 = product of:
          0.2874758 = sum of:
            0.2874758 = weight(_text_:mathematik in 2845) [ClassicSimilarity], result of:
              0.2874758 = score(doc=2845,freq=4.0), product of:
                0.23509963 = queryWeight, product of:
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.0420582 = queryNorm
                1.2227829 = fieldWeight in 2845, product of:
                  2.0 = tf(freq=4.0), with freq of:
                    4.0 = termFreq=4.0
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.109375 = fieldNorm(doc=2845)
          0.5 = coord(1/2)
      0.25 = coord(1/4)
    
    Field
    Mathematik
  11. Kramer, J.: Zur Revision der Fächersystematiken (2015) 0.03
    0.030800976 = product of:
      0.1232039 = sum of:
        0.1232039 = product of:
          0.2464078 = sum of:
            0.2464078 = weight(_text_:mathematik in 673) [ClassicSimilarity], result of:
              0.2464078 = score(doc=673,freq=4.0), product of:
                0.23509963 = queryWeight, product of:
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.0420582 = queryNorm
                1.0480995 = fieldWeight in 673, product of:
                  2.0 = tf(freq=4.0), with freq of:
                    4.0 = termFreq=4.0
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.09375 = fieldNorm(doc=673)
          0.5 = coord(1/2)
      0.25 = coord(1/4)
    
    Abstract
    Bericht anlässlich einer Revision der Fächersystematiken aus Sicht der Systematisierung der Mathematik.
    Field
    Mathematik
  12. Greuel, G.-M.; Mihaljevic, H.; Teschke, O.: Neues vom Zentralblatt MATH - mehr als neue Kleider (2013) 0.03
    0.030800976 = product of:
      0.1232039 = sum of:
        0.1232039 = product of:
          0.2464078 = sum of:
            0.2464078 = weight(_text_:mathematik in 807) [ClassicSimilarity], result of:
              0.2464078 = score(doc=807,freq=4.0), product of:
                0.23509963 = queryWeight, product of:
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.0420582 = queryNorm
                1.0480995 = fieldWeight in 807, product of:
                  2.0 = tf(freq=4.0), with freq of:
                    4.0 = termFreq=4.0
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.09375 = fieldNorm(doc=807)
          0.5 = coord(1/2)
      0.25 = coord(1/4)
    
    Field
    Mathematik
    Object
    Zentralblatt für Mathematik
  13. Vogt, T.: Software dokumentieren! (2014) 0.03
    0.030800976 = product of:
      0.1232039 = sum of:
        0.1232039 = product of:
          0.2464078 = sum of:
            0.2464078 = weight(_text_:mathematik in 1793) [ClassicSimilarity], result of:
              0.2464078 = score(doc=1793,freq=4.0), product of:
                0.23509963 = queryWeight, product of:
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.0420582 = queryNorm
                1.0480995 = fieldWeight in 1793, product of:
                  2.0 = tf(freq=4.0), with freq of:
                    4.0 = termFreq=4.0
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.09375 = fieldNorm(doc=1793)
          0.5 = coord(1/2)
      0.25 = coord(1/4)
    
    Field
    Mathematik
    Object
    Zentralblatt für Mathematik
  14. Zanibbi, R.; Yuan, B.: Keyword and image-based retrieval for mathematical expressions (2011) 0.03
    0.030327037 = product of:
      0.060654074 = sum of:
        0.043559156 = product of:
          0.08711831 = sum of:
            0.08711831 = weight(_text_:mathematik in 3449) [ClassicSimilarity], result of:
              0.08711831 = score(doc=3449,freq=2.0), product of:
                0.23509963 = queryWeight, product of:
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.0420582 = queryNorm
                0.37055913 = fieldWeight in 3449, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.046875 = fieldNorm(doc=3449)
          0.5 = coord(1/2)
        0.017094916 = product of:
          0.03418983 = sum of:
            0.03418983 = weight(_text_:22 in 3449) [ClassicSimilarity], result of:
              0.03418983 = score(doc=3449,freq=2.0), product of:
                0.14728065 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.0420582 = queryNorm
                0.23214069 = fieldWeight in 3449, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.046875 = fieldNorm(doc=3449)
          0.5 = coord(1/2)
      0.5 = coord(2/4)
    
    Date
    22. 2.2017 12:53:49
    Field
    Mathematik
  15. Ornes, S.: Mathematische Kunst (2019) 0.03
    0.030327037 = product of:
      0.060654074 = sum of:
        0.043559156 = product of:
          0.08711831 = sum of:
            0.08711831 = weight(_text_:mathematik in 4739) [ClassicSimilarity], result of:
              0.08711831 = score(doc=4739,freq=2.0), product of:
                0.23509963 = queryWeight, product of:
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.0420582 = queryNorm
                0.37055913 = fieldWeight in 4739, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.046875 = fieldNorm(doc=4739)
          0.5 = coord(1/2)
        0.017094916 = product of:
          0.03418983 = sum of:
            0.03418983 = weight(_text_:22 in 4739) [ClassicSimilarity], result of:
              0.03418983 = score(doc=4739,freq=2.0), product of:
                0.14728065 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.0420582 = queryNorm
                0.23214069 = fieldWeight in 4739, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.046875 = fieldNorm(doc=4739)
          0.5 = coord(1/2)
      0.5 = coord(2/4)
    
    Content
    Aus der Mathematik inspirierte Bilder und Skulpturen entfalten ihre atemberaubende Schönheit. Der US-Amerikaner Roman Verostko machte in den 1940er Jahren eine Kunstausbildung, wurde Priester, verließ diesen Beruf wieder, heiratete, zerlegte Computer und lernte in BASIC zu programmieren. Er ist einer der Ersten, der seine Werke mit selbst entwickelter Software erzeugte, und zählt daher zu den Pionieren der »algorithmischen Kunst«. Als Verostko 1998 das Buch »The Emperor's New Mind« des berühmten Physikers Roger Penrose las, ließ ihn ein darin beschriebener Aspekt nicht mehr los. Penrose definiert in seinem Werk eine universelle Version der nach dem britischen Wissenschaftler Alan Turing benannten Maschinen, die die Arbeitsweise eines Computers modellieren. Ihre universelle Version sollte Penrose zufolge jede Funktion einer spezialisierten Turing-Maschine nachahmen können. Demnach kann eine universelle Turing-Maschine (UTM) alles berechnen, was berechenbar ist. Dieses Konzept begeisterte Verostko außerordentlich. Daher entschied er, dass die UTM eine prachtvolle Aufmachung verdient. Wegen seiner theologischen Studien orientierte er sich dabei an handschriftlichen mittelalterlichen Texten, die aufwändig mit goldenen und silbernen Illustrationen verziert sind. Mit einem Plotterstift schuf Verostko die abstrakten Figuren, mit denen er die binäre Definition der UTM - eine lange Folge aus Nullen und Einsen - geschmückt hat.
    Date
    19. 7.2019 16:25:22
  16. Hartnett, K.: Werden Computer das Wesen der Mathematik verändern? (2016) 0.03
    0.029039439 = product of:
      0.116157755 = sum of:
        0.116157755 = product of:
          0.23231551 = sum of:
            0.23231551 = weight(_text_:mathematik in 3259) [ClassicSimilarity], result of:
              0.23231551 = score(doc=3259,freq=8.0), product of:
                0.23509963 = queryWeight, product of:
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.0420582 = queryNorm
                0.9881577 = fieldWeight in 3259, product of:
                  2.828427 = tf(freq=8.0), with freq of:
                    8.0 = termFreq=8.0
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.0625 = fieldNorm(doc=3259)
          0.5 = coord(1/2)
      0.25 = coord(1/4)
    
    Abstract
    Einer der größten Mathematiker der Gegenwart findet in einer eigenen Arbeit einen Fehler - und stürzt sich in ein Projekt mit dem Ziel, das Beweisen gänzlich dem Computer anzuvertrauen. Dazu muss er nichts weniger als die Grundlagen der Mathematik neu fassen. Bericht über das Programm von Vladimir Voevodsky und sein Programm Coq, das über eine Formalisierung auf Basis der Typentheorie das rechnergestützte Überprüfen von mathematischen Aussagen und Beweisen ermöglichen soll.
    Field
    Mathematik
    Series
    Mathematik
  17. Münch, V.: In der Mathematik hat die Zukunft der wissenschaftlichen Informationsvermittlung begonnen : zbMATH.org und swMATH sind Vorboten der modernen Wissenschaftskommunikation (2014) 0.03
    0.028697116 = product of:
      0.114788465 = sum of:
        0.114788465 = product of:
          0.22957693 = sum of:
            0.22957693 = weight(_text_:mathematik in 1537) [ClassicSimilarity], result of:
              0.22957693 = score(doc=1537,freq=20.0), product of:
                0.23509963 = queryWeight, product of:
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.0420582 = queryNorm
                0.9765091 = fieldWeight in 1537, product of:
                  4.472136 = tf(freq=20.0), with freq of:
                    20.0 = termFreq=20.0
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.0390625 = fieldNorm(doc=1537)
          0.5 = coord(1/2)
      0.25 = coord(1/4)
    
    Abstract
    Das neu aufgelegte Online-Portal zbMATH.org aus dem Produktportfolio für Mathematik und Informatik von FIZ Karlsruhe führt zu den Publikationen und den Softwaretools der Mathematik weltweit. Mit Social Media Funktionen für die wissenschaftliche Kommunikation und offener Schnittstelle zur Kataloganbindung.
    Content
    Dazu ein Leserbrief von Bernd Wegner: "aufgrund meiner jahrelangen Beschäftigung mit Mathematik-Information und meiner Kenntnis des aktuellen Angebots von zbMATH sehe ich mich gezwungen, einige Dinge richtig zustellen. Der Artikel beginnt mit einem Zitat von Professor Dr. Dr. h.c. Gert-Martin Greuel: "Bibliographische Informationsdienste in der Mathematik können nicht länger nur Metadaten-Repositorien sein..." In keiner Phase war dieser Mathematik-Informationsdienst, der von mir von 1974 bis 2011 geleitet wurde, "nur ein Metadaten-Repositorium". Bis in die 70er Jahre war das Zentralblatt ein gedruckter Literaturdokumentationsdienst für die Mathematik. Publiziert wurden Rezensionen von international anerkannten Experten, die natürlich durch die entsprechenden bibliographischen Daten und den Zugang zu den Rezensionen vereinfachende Registerbände ergänzt wurden. Mit der Integration in das FIZ Karlsruhe begann das Angebot vom Zentralblatt als relationale Datenbank mit allen Recherche-Möglichkeiten, die mit dem damaligen Stand der Technik möglich waren. Mit der fortschreitenden Entwicklung von Computern wurde dieses Angebot erweitert und technisch modernisiert. Es entstand ein eigenes Produktionssystem für die Mathematik-Datenbank in Kombination mit einer exzellenten Recherche-Software, verteilte Inputsysteme wurden eingerichtet und der Zugang durch internationale Spiegel der Datenbank verbessert. Der gleichzeitig stattfindende Wechsel von gedruckten zu elektronischen Publikationen führte zu einer ständig wachsenden Verlinkung der Datenbank mit elektronischen Angeboten bei Verlegern und Bibliotheken und einer Verlinkung der elektronischen Dokumente untereinander über deren Bibliographien." (B.I.T. online. 17 (2014) H.3, S.255)
    Field
    Mathematik
    Object
    Zentralblatt für Mathematik
  18. Sperber, W.; Wegner, B.: Content Analysis in der Mathematik : Erschließung und Retrieval mathematischer Publikationen (2010) 0.03
    0.028408695 = product of:
      0.11363478 = sum of:
        0.11363478 = product of:
          0.22726956 = sum of:
            0.22726956 = weight(_text_:mathematik in 5189) [ClassicSimilarity], result of:
              0.22726956 = score(doc=5189,freq=10.0), product of:
                0.23509963 = queryWeight, product of:
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.0420582 = queryNorm
                0.96669465 = fieldWeight in 5189, product of:
                  3.1622777 = tf(freq=10.0), with freq of:
                    10.0 = termFreq=10.0
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.0546875 = fieldNorm(doc=5189)
          0.5 = coord(1/2)
      0.25 = coord(1/4)
    
    Abstract
    Die traditionellen Informationsdienste in den Wissenschaften stehen angesichts der Publikationsflut und der Entwicklung der elektronischen Medien gerade auch in der Mathematik vor großen Herausforderungen. Es müssen neue Konzepte für eine erweiterte qualitativ hochwertige Erschließung entwickelt werden, die weitgehend automatisierbar sind. In dem Beitrag werden die Konzepte zur Texterschließung in der Mathematik analysiert und Methoden entwickelt, die neue Möglichkeiten für das Retrieval eröffnen. Der Beitrag schließt mit einem Ausblick auf die Möglichkeiten zur Formel-Analyse.
    Field
    Mathematik
    Object
    Zentralblatt für Mathematik
  19. Weiss, Y.; Kaenders, R.: ¬Die Kompetenzfalle (2018) 0.03
    0.025667481 = product of:
      0.102669924 = sum of:
        0.102669924 = product of:
          0.20533985 = sum of:
            0.20533985 = weight(_text_:mathematik in 5146) [ClassicSimilarity], result of:
              0.20533985 = score(doc=5146,freq=4.0), product of:
                0.23509963 = queryWeight, product of:
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.0420582 = queryNorm
                0.8734163 = fieldWeight in 5146, product of:
                  2.0 = tf(freq=4.0), with freq of:
                    4.0 = termFreq=4.0
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.078125 = fieldNorm(doc=5146)
          0.5 = coord(1/2)
      0.25 = coord(1/4)
    
    Abstract
    In der Folge des »Pisa-Schocks« wurden die Prüfungsaufgaben in Mathematik an Gymnasien und vergleichbaren Schularten umgekrempelt. Herausgekommen ist jedoch eine Mogelpackung. In Klassenarbeiten zeigen die Schülerinnen und Schüler nur noch, ob sie gelernt haben, eigens für den Test konstruierte Aufgaben zu lösen.
    Field
    Mathematik
  20. Göbel, S.: Glimpses into the history of Zentralblatt MATH (2011) 0.03
    0.025667481 = product of:
      0.102669924 = sum of:
        0.102669924 = product of:
          0.20533985 = sum of:
            0.20533985 = weight(_text_:mathematik in 4734) [ClassicSimilarity], result of:
              0.20533985 = score(doc=4734,freq=4.0), product of:
                0.23509963 = queryWeight, product of:
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.0420582 = queryNorm
                0.8734163 = fieldWeight in 4734, product of:
                  2.0 = tf(freq=4.0), with freq of:
                    4.0 = termFreq=4.0
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.078125 = fieldNorm(doc=4734)
          0.5 = coord(1/2)
      0.25 = coord(1/4)
    
    Field
    Mathematik
    Object
    Zentralblatt für Mathematik

Languages

  • e 449
  • d 169
  • a 1
  • More… Less…

Types

Themes