Document (#37033)

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.95

   4.952564 = sum of:
     4.952564 = weight(author_txt:sojka in 1058) [ClassicSimilarity], result of:
       4.952564 = fieldWeight in 1058, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.905128 = idf(docFreq=5, maxDocs=44218)
         0.5 = fieldNorm(doc=1058)
   

2. Líska, M.; Sojka, P.: MIaS 1.5 (2014) 4.95

   4.952564 = sum of:
     4.952564 = weight(author_txt:sojka in 1652) [ClassicSimilarity], result of:
       4.952564 = fieldWeight in 1652, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.905128 = idf(docFreq=5, maxDocs=44218)
         0.5 = fieldNorm(doc=1652)
   

3. Sojka, P.; Liska, M.: ¬The art of mathematics retrieval (2011) 4.95

   4.952564 = sum of:
     4.952564 = weight(author_txt:sojka in 3450) [ClassicSimilarity], result of:
       4.952564 = fieldWeight in 3450, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.905128 = idf(docFreq=5, maxDocs=44218)
         0.5 = fieldNorm(doc=3450)
   

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.17

   2.1667466 = sum of:
     2.1667466 = weight(author_txt:sojka in 1057) [ClassicSimilarity], result of:
       2.1667466 = fieldWeight in 1057, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.905128 = idf(docFreq=5, maxDocs=44218)
         0.21875 = fieldNorm(doc=1057)
   

Similar documents (content)

1. Sojka, P.; Liska, M.: ¬The art of mathematics retrieval (2011) 1.27

   1.2735496 = sum of:
     1.2735496 = product of:
       2.6532283 = sum of:
         0.031892918 = weight(abstract_txt:documents in 3450) [ClassicSimilarity], result of:
           0.031892918 = score(doc=3450,freq=1.0), product of:
             0.07075249 = queryWeight, product of:
               1.0386757 = boost
               4.1213026 = idf(docFreq=1949, maxDocs=44218)
               0.016528264 = queryNorm
             0.45076746 = fieldWeight in 3450, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1213026 = idf(docFreq=1949, maxDocs=44218)
               0.109375 = fieldNorm(doc=3450)
         0.14295325 = weight(abstract_txt:checked in 3450) [ClassicSimilarity], result of:
           0.14295325 = score(doc=3450,freq=1.0), product of:
             0.1526622 = queryWeight, product of:
               1.078847 = boost
               8.561393 = idf(docFreq=22, maxDocs=44218)
               0.016528264 = queryNorm
             0.9364023 = fieldWeight in 3450, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.561393 = idf(docFreq=22, maxDocs=44218)
               0.109375 = fieldNorm(doc=3450)
         0.15273881 = weight(abstract_txt:arxiv in 3450) [ClassicSimilarity], result of:
           0.15273881 = score(doc=3450,freq=1.0), product of:
             0.15955183 = queryWeight, product of:
               1.1029226 = boost
               8.752448 = idf(docFreq=18, maxDocs=44218)
               0.016528264 = queryNorm
             0.957299 = fieldWeight in 3450, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.752448 = idf(docFreq=18, maxDocs=44218)
               0.109375 = fieldNorm(doc=3450)
         0.25904986 = weight(abstract_txt:lucene in 3450) [ClassicSimilarity], result of:
           0.25904986 = score(doc=3450,freq=2.0), product of:
             0.18010029 = queryWeight, product of:
               1.1717942 = boost
               9.298992 = idf(docFreq=10, maxDocs=44218)
               0.016528264 = queryNorm
             1.4383645 = fieldWeight in 3450, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.298992 = idf(docFreq=10, maxDocs=44218)
               0.109375 = fieldNorm(doc=3450)
         0.1831759 = weight(abstract_txt:apache in 3450) [ClassicSimilarity], result of:
           0.1831759 = score(doc=3450,freq=1.0), product of:
             0.18010029 = queryWeight, product of:
               1.1717942 = boost
               9.298992 = idf(docFreq=10, maxDocs=44218)
               0.016528264 = queryNorm
             1.0170772 = fieldWeight in 3450, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.298992 = idf(docFreq=10, maxDocs=44218)
               0.109375 = fieldNorm(doc=3450)
         0.2213813 = weight(abstract_txt:400,000 in 3450) [ClassicSimilarity], result of:
           0.2213813 = score(doc=3450,freq=1.0), product of:
             0.20434444 = queryWeight, product of:
               1.2481751 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.016528264 = queryNorm
             1.0833733 = fieldWeight in 3450, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.109375 = fieldNorm(doc=3450)
         0.045396727 = weight(abstract_txt:system in 3450) [ClassicSimilarity], result of:
           0.045396727 = score(doc=3450,freq=3.0), product of:
             0.071058914 = queryWeight, product of:
               1.2748644 = boost
               3.3723085 = idf(docFreq=4123, maxDocs=44218)
               0.016528264 = queryNorm
             0.6388604 = fieldWeight in 3450, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.3723085 = idf(docFreq=4123, maxDocs=44218)
               0.109375 = fieldNorm(doc=3450)
         0.07693507 = weight(abstract_txt:engine in 3450) [ClassicSimilarity], result of:
           0.07693507 = score(doc=3450,freq=1.0), product of:
             0.12726092 = queryWeight, product of:
               1.3930178 = boost
               5.5272765 = idf(docFreq=477, maxDocs=44218)
               0.016528264 = queryNorm
             0.6045459 = fieldWeight in 3450, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.5272765 = idf(docFreq=477, maxDocs=44218)
               0.109375 = fieldNorm(doc=3450)
         0.13578242 = weight(abstract_txt:mathematics in 3450) [ClassicSimilarity], result of:
           0.13578242 = score(doc=3450,freq=1.0), product of:
             0.18585514 = queryWeight, product of:
               1.6834352 = boost
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.016528264 = queryNorm
             0.73058206 = fieldWeight in 3450, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.109375 = fieldNorm(doc=3450)
         0.22011949 = weight(abstract_txt:scalability in 3450) [ClassicSimilarity], result of:
           0.22011949 = score(doc=3450,freq=1.0), product of:
             0.25647864 = queryWeight, product of:
               1.9775829 = boost
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.016528264 = queryNorm
             0.85823715 = fieldWeight in 3450, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.109375 = fieldNorm(doc=3450)
         0.26010475 = weight(abstract_txt:formulae in 3450) [ClassicSimilarity], result of:
           0.26010475 = score(doc=3450,freq=1.0), product of:
             0.286667 = queryWeight, product of:
               2.09073 = boost
               8.29569 = idf(docFreq=29, maxDocs=44218)
               0.016528264 = queryNorm
             0.90734106 = fieldWeight in 3450, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.29569 = idf(docFreq=29, maxDocs=44218)
               0.109375 = fieldNorm(doc=3450)
         0.92369777 = weight(abstract_txt:math in 3450) [ClassicSimilarity], result of:
           0.92369777 = score(doc=3450,freq=3.0), product of:
             0.58291024 = queryWeight, product of:
               4.2162366 = boost
               8.364683 = idf(docFreq=27, maxDocs=44218)
               0.016528264 = queryNorm
             1.5846312 = fieldWeight in 3450, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               8.364683 = idf(docFreq=27, maxDocs=44218)
               0.109375 = fieldNorm(doc=3450)
       0.48 = coord(12/25)
   

2. Líska, M.; Sojka, P.: MIaS 1.5 (2014) 0.40

   0.3993358 = sum of:
     0.3993358 = product of:
       0.9983395 = sum of:
         0.024347713 = weight(abstract_txt:text in 1652) [ClassicSimilarity], result of:
           0.024347713 = score(doc=1652,freq=2.0), product of:
             0.0681187 = queryWeight, product of:
               1.0191598 = boost
               4.0438666 = idf(docFreq=2106, maxDocs=44218)
               0.016528264 = queryNorm
             0.3574307 = fieldWeight in 1652, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.0438666 = idf(docFreq=2106, maxDocs=44218)
               0.0625 = fieldNorm(doc=1652)
         0.02577337 = weight(abstract_txt:documents in 1652) [ClassicSimilarity], result of:
           0.02577337 = score(doc=1652,freq=2.0), product of:
             0.07075249 = queryWeight, product of:
               1.0386757 = boost
               4.1213026 = idf(docFreq=1949, maxDocs=44218)
               0.016528264 = queryNorm
             0.36427513 = fieldWeight in 1652, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.1213026 = idf(docFreq=1949, maxDocs=44218)
               0.0625 = fieldNorm(doc=1652)
         0.021179268 = weight(abstract_txt:digital in 1652) [ClassicSimilarity], result of:
           0.021179268 = score(doc=1652,freq=1.0), product of:
             0.07820686 = queryWeight, product of:
               1.0920224 = boost
               4.332974 = idf(docFreq=1577, maxDocs=44218)
               0.016528264 = queryNorm
             0.27081087 = fieldWeight in 1652, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.332974 = idf(docFreq=1577, maxDocs=44218)
               0.0625 = fieldNorm(doc=1652)
         0.10467195 = weight(abstract_txt:lucene in 1652) [ClassicSimilarity], result of:
           0.10467195 = score(doc=1652,freq=1.0), product of:
             0.18010029 = queryWeight, product of:
               1.1717942 = boost
               9.298992 = idf(docFreq=10, maxDocs=44218)
               0.016528264 = queryNorm
             0.581187 = fieldWeight in 1652, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.298992 = idf(docFreq=10, maxDocs=44218)
               0.0625 = fieldNorm(doc=1652)
         0.021180728 = weight(abstract_txt:system in 1652) [ClassicSimilarity], result of:
           0.021180728 = score(doc=1652,freq=2.0), product of:
             0.071058914 = queryWeight, product of:
               1.2748644 = boost
               3.3723085 = idf(docFreq=4123, maxDocs=44218)
               0.016528264 = queryNorm
             0.2980728 = fieldWeight in 1652, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.3723085 = idf(docFreq=4123, maxDocs=44218)
               0.0625 = fieldNorm(doc=1652)
         0.07614596 = weight(abstract_txt:engine in 1652) [ClassicSimilarity], result of:
           0.07614596 = score(doc=1652,freq=3.0), product of:
             0.12726092 = queryWeight, product of:
               1.3930178 = boost
               5.5272765 = idf(docFreq=477, maxDocs=44218)
               0.016528264 = queryNorm
             0.5983452 = fieldWeight in 1652, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.5272765 = idf(docFreq=477, maxDocs=44218)
               0.0625 = fieldNorm(doc=1652)
         0.045446787 = weight(abstract_txt:indexing in 1652) [ClassicSimilarity], result of:
           0.045446787 = score(doc=1652,freq=2.0), product of:
             0.1182116 = queryWeight, product of:
               1.6443142 = boost
               4.3495874 = idf(docFreq=1551, maxDocs=44218)
               0.016528264 = queryNorm
             0.38445285 = fieldWeight in 1652, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.3495874 = idf(docFreq=1551, maxDocs=44218)
               0.0625 = fieldNorm(doc=1652)
         0.07758996 = weight(abstract_txt:mathematics in 1652) [ClassicSimilarity], result of:
           0.07758996 = score(doc=1652,freq=1.0), product of:
             0.18585514 = queryWeight, product of:
               1.6834352 = boost
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.016528264 = queryNorm
             0.41747546 = fieldWeight in 1652, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.0625 = fieldNorm(doc=1652)
         0.29726255 = weight(abstract_txt:formulae in 1652) [ClassicSimilarity], result of:
           0.29726255 = score(doc=1652,freq=4.0), product of:
             0.286667 = queryWeight, product of:
               2.09073 = boost
               8.29569 = idf(docFreq=29, maxDocs=44218)
               0.016528264 = queryNorm
             1.0369612 = fieldWeight in 1652, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               8.29569 = idf(docFreq=29, maxDocs=44218)
               0.0625 = fieldNorm(doc=1652)
         0.3047412 = weight(abstract_txt:math in 1652) [ClassicSimilarity], result of:
           0.3047412 = score(doc=1652,freq=1.0), product of:
             0.58291024 = queryWeight, product of:
               4.2162366 = boost
               8.364683 = idf(docFreq=27, maxDocs=44218)
               0.016528264 = queryNorm
             0.5227927 = fieldWeight in 1652, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.364683 = idf(docFreq=27, maxDocs=44218)
               0.0625 = fieldNorm(doc=1652)
       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.14958546 = sum of:
     0.14958546 = product of:
       0.9349091 = sum of:
         0.03744001 = weight(abstract_txt:digital in 1163) [ClassicSimilarity], result of:
           0.03744001 = score(doc=1163,freq=2.0), product of:
             0.07820686 = queryWeight, product of:
               1.0920224 = boost
               4.332974 = idf(docFreq=1577, maxDocs=44218)
               0.016528264 = queryNorm
             0.4787305 = fieldWeight in 1163, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.332974 = idf(docFreq=1577, maxDocs=44218)
               0.078125 = fieldNorm(doc=1163)
         0.038628563 = weight(abstract_txt:support in 1163) [ClassicSimilarity], result of:
           0.038628563 = score(doc=1163,freq=2.0), product of:
             0.07985337 = queryWeight, product of:
               1.1034578 = boost
               4.378348 = idf(docFreq=1507, maxDocs=44218)
               0.016528264 = queryNorm
             0.48374367 = fieldWeight in 1163, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.378348 = idf(docFreq=1507, maxDocs=44218)
               0.078125 = fieldNorm(doc=1163)
         0.09698745 = weight(abstract_txt:mathematics in 1163) [ClassicSimilarity], result of:
           0.09698745 = score(doc=1163,freq=1.0), product of:
             0.18585514 = queryWeight, product of:
               1.6834352 = boost
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.016528264 = queryNorm
             0.5218443 = fieldWeight in 1163, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.078125 = fieldNorm(doc=1163)
         0.7618531 = weight(abstract_txt:math in 1163) [ClassicSimilarity], result of:
           0.7618531 = score(doc=1163,freq=4.0), product of:
             0.58291024 = queryWeight, product of:
               4.2162366 = boost
               8.364683 = idf(docFreq=27, maxDocs=44218)
               0.016528264 = queryNorm
             1.3069818 = fieldWeight in 1163, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               8.364683 = idf(docFreq=27, maxDocs=44218)
               0.078125 = fieldNorm(doc=1163)
       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.11600454 = sum of:
     0.11600454 = product of:
       0.29001135 = sum of:
         0.014909868 = weight(abstract_txt:text in 1253) [ClassicSimilarity], result of:
           0.014909868 = score(doc=1253,freq=3.0), product of:
             0.0681187 = queryWeight, product of:
               1.0191598 = boost
               4.0438666 = idf(docFreq=2106, maxDocs=44218)
               0.016528264 = queryNorm
             0.2188807 = fieldWeight in 1253, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.0438666 = idf(docFreq=2106, maxDocs=44218)
               0.03125 = fieldNorm(doc=1253)
         0.012886685 = weight(abstract_txt:documents in 1253) [ClassicSimilarity], result of:
           0.012886685 = score(doc=1253,freq=2.0), product of:
             0.07075249 = queryWeight, product of:
               1.0386757 = boost
               4.1213026 = idf(docFreq=1949, maxDocs=44218)
               0.016528264 = queryNorm
             0.18213756 = fieldWeight in 1253, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.1213026 = idf(docFreq=1949, maxDocs=44218)
               0.03125 = fieldNorm(doc=1253)
         0.014976003 = weight(abstract_txt:digital in 1253) [ClassicSimilarity], result of:
           0.014976003 = score(doc=1253,freq=2.0), product of:
             0.07820686 = queryWeight, product of:
               1.0920224 = boost
               4.332974 = idf(docFreq=1577, maxDocs=44218)
               0.016528264 = queryNorm
             0.1914922 = fieldWeight in 1253, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.332974 = idf(docFreq=1577, maxDocs=44218)
               0.03125 = fieldNorm(doc=1253)
         0.010730988 = weight(abstract_txt:including in 1253) [ClassicSimilarity], result of:
           0.010730988 = score(doc=1253,freq=1.0), product of:
             0.078901276 = queryWeight, product of:
               1.0968598 = boost
               4.352168 = idf(docFreq=1547, maxDocs=44218)
               0.016528264 = queryNorm
             0.13600525 = fieldWeight in 1253, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.352168 = idf(docFreq=1547, maxDocs=44218)
               0.03125 = fieldNorm(doc=1253)
         0.0632518 = weight(abstract_txt:400,000 in 1253) [ClassicSimilarity], result of:
           0.0632518 = score(doc=1253,freq=1.0), product of:
             0.20434444 = queryWeight, product of:
               1.2481751 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.016528264 = queryNorm
             0.30953524 = fieldWeight in 1253, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.03125 = fieldNorm(doc=1253)
         0.016744835 = weight(abstract_txt:system in 1253) [ClassicSimilarity], result of:
           0.016744835 = score(doc=1253,freq=5.0), product of:
             0.071058914 = queryWeight, product of:
               1.2748644 = boost
               3.3723085 = idf(docFreq=4123, maxDocs=44218)
               0.016528264 = queryNorm
             0.23564722 = fieldWeight in 1253, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               3.3723085 = idf(docFreq=4123, maxDocs=44218)
               0.03125 = fieldNorm(doc=1253)
         0.022723394 = weight(abstract_txt:indexing in 1253) [ClassicSimilarity], result of:
           0.022723394 = score(doc=1253,freq=2.0), product of:
             0.1182116 = queryWeight, product of:
               1.6443142 = boost
               4.3495874 = idf(docFreq=1551, maxDocs=44218)
               0.016528264 = queryNorm
             0.19222642 = fieldWeight in 1253, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.3495874 = idf(docFreq=1551, maxDocs=44218)
               0.03125 = fieldNorm(doc=1253)
         0.04174609 = weight(abstract_txt:tree in 1253) [ClassicSimilarity], result of:
           0.04174609 = score(doc=1253,freq=1.0), product of:
             0.19516477 = queryWeight, product of:
               1.7250823 = boost
               6.8448567 = idf(docFreq=127, maxDocs=44218)
               0.016528264 = queryNorm
             0.21390177 = fieldWeight in 1253, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.8448567 = idf(docFreq=127, maxDocs=44218)
               0.03125 = fieldNorm(doc=1253)
         0.06289128 = weight(abstract_txt:scalability in 1253) [ClassicSimilarity], result of:
           0.06289128 = score(doc=1253,freq=1.0), product of:
             0.25647864 = queryWeight, product of:
               1.9775829 = boost
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.016528264 = queryNorm
             0.24521062 = fieldWeight in 1253, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.03125 = fieldNorm(doc=1253)
         0.029150382 = weight(abstract_txt:semantic in 1253) [ClassicSimilarity], result of:
           0.029150382 = score(doc=1253,freq=1.0), product of:
             0.20848127 = queryWeight, product of:
               2.819114 = boost
               4.4743214 = idf(docFreq=1369, maxDocs=44218)
               0.016528264 = queryNorm
             0.13982254 = fieldWeight in 1253, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.4743214 = idf(docFreq=1369, maxDocs=44218)
               0.03125 = fieldNorm(doc=1253)
       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.09927147 = sum of:
     0.09927147 = product of:
       0.49635732 = sum of:
         0.02577337 = weight(abstract_txt:documents in 1056) [ClassicSimilarity], result of:
           0.02577337 = score(doc=1056,freq=2.0), product of:
             0.07075249 = queryWeight, product of:
               1.0386757 = boost
               4.1213026 = idf(docFreq=1949, maxDocs=44218)
               0.016528264 = queryNorm
             0.36427513 = fieldWeight in 1056, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.1213026 = idf(docFreq=1949, maxDocs=44218)
               0.0625 = fieldNorm(doc=1056)
         0.029952006 = weight(abstract_txt:digital in 1056) [ClassicSimilarity], result of:
           0.029952006 = score(doc=1056,freq=2.0), product of:
             0.07820686 = queryWeight, product of:
               1.0920224 = boost
               4.332974 = idf(docFreq=1577, maxDocs=44218)
               0.016528264 = queryNorm
             0.3829844 = fieldWeight in 1056, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.332974 = idf(docFreq=1577, maxDocs=44218)
               0.0625 = fieldNorm(doc=1056)
         0.07758996 = weight(abstract_txt:mathematics in 1056) [ClassicSimilarity], result of:
           0.07758996 = score(doc=1056,freq=1.0), product of:
             0.18585514 = queryWeight, product of:
               1.6834352 = boost
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.016528264 = queryNorm
             0.41747546 = fieldWeight in 1056, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.0625 = fieldNorm(doc=1056)
         0.058300763 = weight(abstract_txt:semantic in 1056) [ClassicSimilarity], result of:
           0.058300763 = score(doc=1056,freq=1.0), product of:
             0.20848127 = queryWeight, product of:
               2.819114 = boost
               4.4743214 = idf(docFreq=1369, maxDocs=44218)
               0.016528264 = queryNorm
             0.2796451 = fieldWeight in 1056, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.4743214 = idf(docFreq=1369, maxDocs=44218)
               0.0625 = fieldNorm(doc=1056)
         0.3047412 = weight(abstract_txt:math in 1056) [ClassicSimilarity], result of:
           0.3047412 = score(doc=1056,freq=1.0), product of:
             0.58291024 = queryWeight, product of:
               4.2162366 = boost
               8.364683 = idf(docFreq=27, maxDocs=44218)
               0.016528264 = queryNorm
             0.5227927 = fieldWeight in 1056, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.364683 = idf(docFreq=27, maxDocs=44218)
               0.0625 = fieldNorm(doc=1056)
       0.2 = coord(5/25)