Document (#37034)

Author
Sojka, P.
Title
Exploiting semantic annotations in math information retrieval
Source
Proceedings, ESAIR '12 Proceedings of the fifth workshop on Exploiting semantic annotations in information retrieval
Imprint
New York : ACM
Year
2012
Pages
S.15-16
Abstract
This paper describes exploitation of semantic annotations in the design and architecture of MIaS (Math Indexer and Searcher) system for mathematics retrieval. Basing on the claim that navigational and research search are 'killer' applications for digital library such as the European Digital Mathematics Library, EuDML, we argue for an approach based on Natural Language Processing techniques as used in corpus management systems such as the Sketch Engine, that will reach web scalability and avoid inference problems. The main ideas are 1) to augment surface texts (including math formulae) with additional linked representations bearing semantic information (expanded formulae as text, canonicalized text and subformulae) for indexing, including support for indexing structural information (expressed as Content MathML or other tree structures) and 2) use semantic user preferences to order found documents. The semantic enhancements of the MIaS system are being implemented as a math-aware search engine based on the state-of-the-art system Apache Lucene, with support for [MathML] tree indexing. Scalability issues have been checked against more than 400,000 arXiv documents.
Content
Vgl.: http://dl.acm.org/citation.cfm?id=2390157.
Field
Mathematik

Similar documents (author)

  1. Rehurek, R.; Sojka, P.: Software framework for topic modelling with large corpora (2010) 4.94
    4.9355655 = sum of:
      4.9355655 = weight(author_txt:sojka in 3059) [ClassicSimilarity], result of:
        4.9355655 = fieldWeight in 3059, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.871131 = idf(docFreq=5, maxDocs=42740)
          0.5 = fieldNorm(doc=3059)
    
  2. Líska, M.; Sojka, P.: MIaS 1.5 (2014) 4.94
    4.9355655 = sum of:
      4.9355655 = weight(author_txt:sojka in 3653) [ClassicSimilarity], result of:
        4.9355655 = fieldWeight in 3653, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.871131 = idf(docFreq=5, maxDocs=42740)
          0.5 = fieldNorm(doc=3653)
    
  3. Sojka, P.; Liska, M.: ¬The art of mathematics retrieval (2011) 4.94
    4.9355655 = sum of:
      4.9355655 = weight(author_txt:sojka in 5451) [ClassicSimilarity], result of:
        4.9355655 = fieldWeight in 5451, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.871131 = idf(docFreq=5, maxDocs=42740)
          0.5 = fieldNorm(doc=5451)
    
  4. Sojka, P.; Lee, M.; Rehurek, R.; Hatlapatka, R.; Kucbel, M.; Bouche, T.; Goutorbe, C.; Anghelache, R.; Wojciechowski, K.: Toolset for entity and semantic associations : Final Release (2013) 2.16
    2.1593099 = sum of:
      2.1593099 = weight(author_txt:sojka in 3058) [ClassicSimilarity], result of:
        2.1593099 = fieldWeight in 3058, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.871131 = idf(docFreq=5, maxDocs=42740)
          0.21875 = fieldNorm(doc=3058)
    

Similar documents (content)

  1. Sojka, P.; Liska, M.: ¬The art of mathematics retrieval (2011) 1.27
    1.2714249 = sum of:
      1.2714249 = product of:
        2.6488018 = sum of:
          0.031549532 = weight(abstract_txt:documents in 5451) [ClassicSimilarity], result of:
            0.031549532 = score(doc=5451,freq=1.0), product of:
              0.07009128 = queryWeight, product of:
                1.0322005 = boost
                4.115389 = idf(docFreq=1895, maxDocs=42740)
                0.016500194 = queryNorm
              0.45012066 = fieldWeight in 5451, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.115389 = idf(docFreq=1895, maxDocs=42740)
                0.109375 = fieldNorm(doc=5451)
          0.14487898 = weight(abstract_txt:checked in 5451) [ClassicSimilarity], result of:
            0.14487898 = score(doc=5451,freq=1.0), product of:
              0.15369591 = queryWeight, product of:
                1.0808072 = boost
                8.618368 = idf(docFreq=20, maxDocs=42740)
                0.016500194 = queryNorm
              0.942634 = fieldWeight in 5451, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.618368 = idf(docFreq=20, maxDocs=42740)
                0.109375 = fieldNorm(doc=5451)
          0.15279293 = weight(abstract_txt:arxiv in 5451) [ClassicSimilarity], result of:
            0.15279293 = score(doc=5451,freq=1.0), product of:
              0.15924318 = queryWeight, product of:
                1.1001388 = boost
                8.772519 = idf(docFreq=17, maxDocs=42740)
                0.016500194 = queryNorm
              0.9594943 = fieldWeight in 5451, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.772519 = idf(docFreq=17, maxDocs=42740)
                0.109375 = fieldNorm(doc=5451)
          0.25455457 = weight(abstract_txt:lucene in 5451) [ClassicSimilarity], result of:
            0.25455457 = score(doc=5451,freq=2.0), product of:
              0.1776244 = queryWeight, product of:
                1.161899 = boost
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.016500194 = queryNorm
              1.4331058 = fieldWeight in 5451, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.109375 = fieldNorm(doc=5451)
          0.18560958 = weight(abstract_txt:apache in 5451) [ClassicSimilarity], result of:
            0.18560958 = score(doc=5451,freq=1.0), product of:
              0.18129769 = queryWeight, product of:
                1.1738516 = boost
                9.360306 = idf(docFreq=9, maxDocs=42740)
                0.016500194 = queryNorm
              1.0237834 = fieldWeight in 5451, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.360306 = idf(docFreq=9, maxDocs=42740)
                0.109375 = fieldNorm(doc=5451)
          0.21768627 = weight(abstract_txt:400,000 in 5451) [ClassicSimilarity], result of:
            0.21768627 = score(doc=5451,freq=1.0), product of:
              0.20162578 = queryWeight, product of:
                1.2379129 = boost
                9.871131 = idf(docFreq=5, maxDocs=42740)
                0.016500194 = queryNorm
              1.0796549 = fieldWeight in 5451, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.871131 = idf(docFreq=5, maxDocs=42740)
                0.109375 = fieldNorm(doc=5451)
          0.04474357 = weight(abstract_txt:system in 5451) [ClassicSimilarity], result of:
            0.04474357 = score(doc=5451,freq=3.0), product of:
              0.07022296 = queryWeight, product of:
                1.2653692 = boost
                3.3633559 = idf(docFreq=4021, maxDocs=42740)
                0.016500194 = queryNorm
              0.6371644 = fieldWeight in 5451, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.3633559 = idf(docFreq=4021, maxDocs=42740)
                0.109375 = fieldNorm(doc=5451)
          0.07599161 = weight(abstract_txt:engine in 5451) [ClassicSimilarity], result of:
            0.07599161 = score(doc=5451,freq=1.0), product of:
              0.12594448 = queryWeight, product of:
                1.3836353 = boost
                5.5165615 = idf(docFreq=466, maxDocs=42740)
                0.016500194 = queryNorm
              0.6033739 = fieldWeight in 5451, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.5165615 = idf(docFreq=466, maxDocs=42740)
                0.109375 = fieldNorm(doc=5451)
          0.13529754 = weight(abstract_txt:mathematics in 5451) [ClassicSimilarity], result of:
            0.13529754 = score(doc=5451,freq=1.0), product of:
              0.18501003 = queryWeight, product of:
                1.676987 = boost
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.016500194 = queryNorm
              0.7312984 = fieldWeight in 5451, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.109375 = fieldNorm(doc=5451)
          0.21948381 = weight(abstract_txt:scalability in 5451) [ClassicSimilarity], result of:
            0.21948381 = score(doc=5451,freq=1.0), product of:
              0.2554291 = queryWeight, product of:
                1.9704583 = boost
                7.856228 = idf(docFreq=44, maxDocs=42740)
                0.016500194 = queryNorm
              0.8592749 = fieldWeight in 5451, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.856228 = idf(docFreq=44, maxDocs=42740)
                0.109375 = fieldNorm(doc=5451)
          0.255251 = weight(abstract_txt:formulae in 5451) [ClassicSimilarity], result of:
            0.255251 = score(doc=5451,freq=1.0), product of:
              0.2824752 = queryWeight, product of:
                2.072155 = boost
                8.261693 = idf(docFreq=29, maxDocs=42740)
                0.016500194 = queryNorm
              0.9036227 = fieldWeight in 5451, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.261693 = idf(docFreq=29, maxDocs=42740)
                0.109375 = fieldNorm(doc=5451)
          0.9309623 = weight(abstract_txt:math in 5451) [ClassicSimilarity], result of:
            0.9309623 = score(doc=5451,freq=3.0), product of:
              0.5846909 = queryWeight, product of:
                4.2160935 = boost
                8.404794 = idf(docFreq=25, maxDocs=42740)
                0.016500194 = queryNorm
              1.5922298 = fieldWeight in 5451, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                8.404794 = idf(docFreq=25, maxDocs=42740)
                0.109375 = fieldNorm(doc=5451)
        0.48 = coord(12/25)
    
  2. Líska, M.; Sojka, P.: MIaS 1.5 (2014) 0.40
    0.39659512 = sum of:
      0.39659512 = product of:
        0.9914878 = sum of:
          0.024300842 = weight(abstract_txt:text in 3653) [ClassicSimilarity], result of:
            0.024300842 = score(doc=3653,freq=2.0), product of:
              0.06788361 = queryWeight, product of:
                1.0158148 = boost
                4.0500593 = idf(docFreq=2023, maxDocs=42740)
                0.016500194 = queryNorm
              0.35797805 = fieldWeight in 3653, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.0500593 = idf(docFreq=2023, maxDocs=42740)
                0.0625 = fieldNorm(doc=3653)
          0.025495872 = weight(abstract_txt:documents in 3653) [ClassicSimilarity], result of:
            0.025495872 = score(doc=3653,freq=2.0), product of:
              0.07009128 = queryWeight, product of:
                1.0322005 = boost
                4.115389 = idf(docFreq=1895, maxDocs=42740)
                0.016500194 = queryNorm
              0.36375242 = fieldWeight in 3653, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.115389 = idf(docFreq=1895, maxDocs=42740)
                0.0625 = fieldNorm(doc=3653)
          0.021715725 = weight(abstract_txt:digital in 3653) [ClassicSimilarity], result of:
            0.021715725 = score(doc=3653,freq=1.0), product of:
              0.07934939 = queryWeight, product of:
                1.0982567 = boost
                4.3787556 = idf(docFreq=1456, maxDocs=42740)
                0.016500194 = queryNorm
              0.27367222 = fieldWeight in 3653, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.3787556 = idf(docFreq=1456, maxDocs=42740)
                0.0625 = fieldNorm(doc=3653)
          0.102855586 = weight(abstract_txt:lucene in 3653) [ClassicSimilarity], result of:
            0.102855586 = score(doc=3653,freq=1.0), product of:
              0.1776244 = queryWeight, product of:
                1.161899 = boost
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.016500194 = queryNorm
              0.5790622 = fieldWeight in 3653, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.0625 = fieldNorm(doc=3653)
          0.020875985 = weight(abstract_txt:system in 3653) [ClassicSimilarity], result of:
            0.020875985 = score(doc=3653,freq=2.0), product of:
              0.07022296 = queryWeight, product of:
                1.2653692 = boost
                3.3633559 = idf(docFreq=4021, maxDocs=42740)
                0.016500194 = queryNorm
              0.29728147 = fieldWeight in 3653, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.3633559 = idf(docFreq=4021, maxDocs=42740)
                0.0625 = fieldNorm(doc=3653)
          0.075212196 = weight(abstract_txt:engine in 3653) [ClassicSimilarity], result of:
            0.075212196 = score(doc=3653,freq=3.0), product of:
              0.12594448 = queryWeight, product of:
                1.3836353 = boost
                5.5165615 = idf(docFreq=466, maxDocs=42740)
                0.016500194 = queryNorm
              0.5971853 = fieldWeight in 3653, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                5.5165615 = idf(docFreq=466, maxDocs=42740)
                0.0625 = fieldNorm(doc=3653)
          0.044865426 = weight(abstract_txt:indexing in 3653) [ClassicSimilarity], result of:
            0.044865426 = score(doc=3653,freq=2.0), product of:
              0.11694698 = queryWeight, product of:
                1.6329474 = boost
                4.34038 = idf(docFreq=1513, maxDocs=42740)
                0.016500194 = queryNorm
              0.38363904 = fieldWeight in 3653, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.34038 = idf(docFreq=1513, maxDocs=42740)
                0.0625 = fieldNorm(doc=3653)
          0.07731288 = weight(abstract_txt:mathematics in 3653) [ClassicSimilarity], result of:
            0.07731288 = score(doc=3653,freq=1.0), product of:
              0.18501003 = queryWeight, product of:
                1.676987 = boost
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.016500194 = queryNorm
              0.4178848 = fieldWeight in 3653, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.0625 = fieldNorm(doc=3653)
          0.2917154 = weight(abstract_txt:formulae in 3653) [ClassicSimilarity], result of:
            0.2917154 = score(doc=3653,freq=4.0), product of:
              0.2824752 = queryWeight, product of:
                2.072155 = boost
                8.261693 = idf(docFreq=29, maxDocs=42740)
                0.016500194 = queryNorm
              1.0327116 = fieldWeight in 3653, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                8.261693 = idf(docFreq=29, maxDocs=42740)
                0.0625 = fieldNorm(doc=3653)
          0.3071379 = weight(abstract_txt:math in 3653) [ClassicSimilarity], result of:
            0.3071379 = score(doc=3653,freq=1.0), product of:
              0.5846909 = queryWeight, product of:
                4.2160935 = boost
                8.404794 = idf(docFreq=25, maxDocs=42740)
                0.016500194 = queryNorm
              0.5252996 = fieldWeight in 3653, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.404794 = idf(docFreq=25, maxDocs=42740)
                0.0625 = fieldNorm(doc=3653)
        0.4 = coord(10/25)
    
  3. Shechtman, N.; Chung, M.; Roschelle, J.: Supporting member collaboration in the Math Tools digital library : a formative user study (2004) 0.15
    0.15075013 = sum of:
      0.15075013 = product of:
        0.9421883 = sum of:
          0.038388338 = weight(abstract_txt:digital in 3164) [ClassicSimilarity], result of:
            0.038388338 = score(doc=3164,freq=2.0), product of:
              0.07934939 = queryWeight, product of:
                1.0982567 = boost
                4.3787556 = idf(docFreq=1456, maxDocs=42740)
                0.016500194 = queryNorm
              0.4837887 = fieldWeight in 3164, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.3787556 = idf(docFreq=1456, maxDocs=42740)
                0.078125 = fieldNorm(doc=3164)
          0.039314102 = weight(abstract_txt:support in 3164) [ClassicSimilarity], result of:
            0.039314102 = score(doc=3164,freq=2.0), product of:
              0.080620036 = queryWeight, product of:
                1.1070151 = boost
                4.4136753 = idf(docFreq=1406, maxDocs=42740)
                0.016500194 = queryNorm
              0.48764682 = fieldWeight in 3164, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.4136753 = idf(docFreq=1406, maxDocs=42740)
                0.078125 = fieldNorm(doc=3164)
          0.09664109 = weight(abstract_txt:mathematics in 3164) [ClassicSimilarity], result of:
            0.09664109 = score(doc=3164,freq=1.0), product of:
              0.18501003 = queryWeight, product of:
                1.676987 = boost
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.016500194 = queryNorm
              0.522356 = fieldWeight in 3164, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.078125 = fieldNorm(doc=3164)
          0.7678448 = weight(abstract_txt:math in 3164) [ClassicSimilarity], result of:
            0.7678448 = score(doc=3164,freq=4.0), product of:
              0.5846909 = queryWeight, product of:
                4.2160935 = boost
                8.404794 = idf(docFreq=25, maxDocs=42740)
                0.016500194 = queryNorm
              1.313249 = fieldWeight in 3164, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                8.404794 = idf(docFreq=25, maxDocs=42740)
                0.078125 = fieldNorm(doc=3164)
        0.16 = coord(4/25)
    
  4. Dolin, R.; Agrawal, D.; El Abbadi, A.; Pearlman, J.: Using automated classification for summarizing and selecting heterogeneous information sources (1998) 0.12
    0.11542632 = sum of:
      0.11542632 = product of:
        0.28856578 = sum of:
          0.014881166 = weight(abstract_txt:text in 3254) [ClassicSimilarity], result of:
            0.014881166 = score(doc=3254,freq=3.0), product of:
              0.06788361 = queryWeight, product of:
                1.0158148 = boost
                4.0500593 = idf(docFreq=2023, maxDocs=42740)
                0.016500194 = queryNorm
              0.21921588 = fieldWeight in 3254, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.0500593 = idf(docFreq=2023, maxDocs=42740)
                0.03125 = fieldNorm(doc=3254)
          0.012747936 = weight(abstract_txt:documents in 3254) [ClassicSimilarity], result of:
            0.012747936 = score(doc=3254,freq=2.0), product of:
              0.07009128 = queryWeight, product of:
                1.0322005 = boost
                4.115389 = idf(docFreq=1895, maxDocs=42740)
                0.016500194 = queryNorm
              0.18187621 = fieldWeight in 3254, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.115389 = idf(docFreq=1895, maxDocs=42740)
                0.03125 = fieldNorm(doc=3254)
          0.015355336 = weight(abstract_txt:digital in 3254) [ClassicSimilarity], result of:
            0.015355336 = score(doc=3254,freq=2.0), product of:
              0.07934939 = queryWeight, product of:
                1.0982567 = boost
                4.3787556 = idf(docFreq=1456, maxDocs=42740)
                0.016500194 = queryNorm
              0.19351548 = fieldWeight in 3254, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.3787556 = idf(docFreq=1456, maxDocs=42740)
                0.03125 = fieldNorm(doc=3254)
          0.010878328 = weight(abstract_txt:including in 3254) [ClassicSimilarity], result of:
            0.010878328 = score(doc=3254,freq=1.0), product of:
              0.07944907 = queryWeight, product of:
                1.0989463 = boost
                4.381505 = idf(docFreq=1452, maxDocs=42740)
                0.016500194 = queryNorm
              0.13692203 = fieldWeight in 3254, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.381505 = idf(docFreq=1452, maxDocs=42740)
                0.03125 = fieldNorm(doc=3254)
          0.062196076 = weight(abstract_txt:400,000 in 3254) [ClassicSimilarity], result of:
            0.062196076 = score(doc=3254,freq=1.0), product of:
              0.20162578 = queryWeight, product of:
                1.2379129 = boost
                9.871131 = idf(docFreq=5, maxDocs=42740)
                0.016500194 = queryNorm
              0.30847284 = fieldWeight in 3254, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.871131 = idf(docFreq=5, maxDocs=42740)
                0.03125 = fieldNorm(doc=3254)
          0.016503915 = weight(abstract_txt:system in 3254) [ClassicSimilarity], result of:
            0.016503915 = score(doc=3254,freq=5.0), product of:
              0.07022296 = queryWeight, product of:
                1.2653692 = boost
                3.3633559 = idf(docFreq=4021, maxDocs=42740)
                0.016500194 = queryNorm
              0.23502164 = fieldWeight in 3254, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                3.3633559 = idf(docFreq=4021, maxDocs=42740)
                0.03125 = fieldNorm(doc=3254)
          0.022432713 = weight(abstract_txt:indexing in 3254) [ClassicSimilarity], result of:
            0.022432713 = score(doc=3254,freq=2.0), product of:
              0.11694698 = queryWeight, product of:
                1.6329474 = boost
                4.34038 = idf(docFreq=1513, maxDocs=42740)
                0.016500194 = queryNorm
              0.19181952 = fieldWeight in 3254, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.34038 = idf(docFreq=1513, maxDocs=42740)
                0.03125 = fieldNorm(doc=3254)
          0.04143405 = weight(abstract_txt:tree in 3254) [ClassicSimilarity], result of:
            0.04143405 = score(doc=3254,freq=1.0), product of:
              0.1937696 = queryWeight, product of:
                1.7162277 = boost
                6.842609 = idf(docFreq=123, maxDocs=42740)
                0.016500194 = queryNorm
              0.21383153 = fieldWeight in 3254, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.842609 = idf(docFreq=123, maxDocs=42740)
                0.03125 = fieldNorm(doc=3254)
          0.06270966 = weight(abstract_txt:scalability in 3254) [ClassicSimilarity], result of:
            0.06270966 = score(doc=3254,freq=1.0), product of:
              0.2554291 = queryWeight, product of:
                1.9704583 = boost
                7.856228 = idf(docFreq=44, maxDocs=42740)
                0.016500194 = queryNorm
              0.24550712 = fieldWeight in 3254, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.856228 = idf(docFreq=44, maxDocs=42740)
                0.03125 = fieldNorm(doc=3254)
          0.029426591 = weight(abstract_txt:semantic in 3254) [ClassicSimilarity], result of:
            0.029426591 = score(doc=3254,freq=1.0), product of:
              0.20934087 = queryWeight, product of:
                2.8205194 = boost
                4.4981704 = idf(docFreq=1292, maxDocs=42740)
                0.016500194 = queryNorm
              0.14056782 = fieldWeight in 3254, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.4981704 = idf(docFreq=1292, maxDocs=42740)
                0.03125 = fieldNorm(doc=3254)
        0.4 = coord(10/25)
    
  5. Barthel, S.; Tönnies, S.; Balke, W.-T.: Large-scale experiments for mathematical document classification (2013) 0.10
    0.09990211 = sum of:
      0.09990211 = product of:
        0.49951053 = sum of:
          0.025495872 = weight(abstract_txt:documents in 3057) [ClassicSimilarity], result of:
            0.025495872 = score(doc=3057,freq=2.0), product of:
              0.07009128 = queryWeight, product of:
                1.0322005 = boost
                4.115389 = idf(docFreq=1895, maxDocs=42740)
                0.016500194 = queryNorm
              0.36375242 = fieldWeight in 3057, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.115389 = idf(docFreq=1895, maxDocs=42740)
                0.0625 = fieldNorm(doc=3057)
          0.030710671 = weight(abstract_txt:digital in 3057) [ClassicSimilarity], result of:
            0.030710671 = score(doc=3057,freq=2.0), product of:
              0.07934939 = queryWeight, product of:
                1.0982567 = boost
                4.3787556 = idf(docFreq=1456, maxDocs=42740)
                0.016500194 = queryNorm
              0.38703096 = fieldWeight in 3057, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.3787556 = idf(docFreq=1456, maxDocs=42740)
                0.0625 = fieldNorm(doc=3057)
          0.07731288 = weight(abstract_txt:mathematics in 3057) [ClassicSimilarity], result of:
            0.07731288 = score(doc=3057,freq=1.0), product of:
              0.18501003 = queryWeight, product of:
                1.676987 = boost
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.016500194 = queryNorm
              0.4178848 = fieldWeight in 3057, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.0625 = fieldNorm(doc=3057)
          0.058853183 = weight(abstract_txt:semantic in 3057) [ClassicSimilarity], result of:
            0.058853183 = score(doc=3057,freq=1.0), product of:
              0.20934087 = queryWeight, product of:
                2.8205194 = boost
                4.4981704 = idf(docFreq=1292, maxDocs=42740)
                0.016500194 = queryNorm
              0.28113565 = fieldWeight in 3057, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.4981704 = idf(docFreq=1292, maxDocs=42740)
                0.0625 = fieldNorm(doc=3057)
          0.3071379 = weight(abstract_txt:math in 3057) [ClassicSimilarity], result of:
            0.3071379 = score(doc=3057,freq=1.0), product of:
              0.5846909 = queryWeight, product of:
                4.2160935 = boost
                8.404794 = idf(docFreq=25, maxDocs=42740)
                0.016500194 = queryNorm
              0.5252996 = fieldWeight in 3057, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.404794 = idf(docFreq=25, maxDocs=42740)
                0.0625 = fieldNorm(doc=3057)
        0.2 = coord(5/25)