Document (#40451)

Author
Sojka, P.
Liska, M.
Title
¬The art of mathematics retrieval
Source
http://s3.amazonaws.com/academia.edu.documents/45189187/The_art_of_mathematics_retrieval20160428-10867-a30ybf.pdf
Year
2011
Abstract
The design and architecture of MIaS (Math Indexer and Searcher), a system for mathematics retrieval is presented, and design decisions are discussed. We argue for an approach based on Presentation MathML using a similarity of math subformulae. The system was implemented as a math-aware search engine based on the state-ofthe-art system Apache Lucene. Scalability issues were checked against more than 400,000 arXiv documents with 158 million mathematical formulae. Almost three billion MathML subformulae were indexed using a Solr-compatible Lucene.
Content
Vgl.: DocEng2011, September 19-22, 2011, Mountain View, California, USA Copyright 2011 ACM 978-1-4503-0863-2/11/09
Field
Mathematik

Similar documents (author)

  1. Sojka, P.: Exploiting semantic annotations in math information retrieval (2012) 6.19 
    6.1935673 = sum of:
  6.1935673 = weight(author_txt:sojka in 1032) [ClassicSimilarity], result of:
    6.1935673 = fieldWeight in 1032, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.909708 = idf(docFreq=5, maxDocs=44421)
      0.625 = fieldNorm(doc=1032)
  2. Rehurek, R.; Sojka, P.: Software framework for topic modelling with large corpora (2010) 4.95 
    4.954854 = sum of:
  4.954854 = weight(author_txt:sojka in 2058) [ClassicSimilarity], result of:
    4.954854 = fieldWeight in 2058, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.909708 = idf(docFreq=5, maxDocs=44421)
      0.5 = fieldNorm(doc=2058)
  3. Líska, M.; Sojka, P.: MIaS 1.5 (2014) 4.95 
    4.954854 = sum of:
  4.954854 = weight(author_txt:sojka in 2652) [ClassicSimilarity], result of:
    4.954854 = fieldWeight in 2652, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.909708 = idf(docFreq=5, maxDocs=44421)
      0.5 = fieldNorm(doc=2652)
  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.1677487 = sum of:
  2.1677487 = weight(author_txt:sojka in 2057) [ClassicSimilarity], result of:
    2.1677487 = fieldWeight in 2057, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.909708 = idf(docFreq=5, maxDocs=44421)
      0.21875 = fieldNorm(doc=2057)

Similar documents (content)

  1. Sojka, P.: Exploiting semantic annotations in math information retrieval (2012) 1.28 
    1.2782338 = sum of:
  1.2782338 = product of:
    1.8797555 = sum of:
      0.03792113 = weight(abstract_txt:argue in 1032) [ClassicSimilarity], result of:
        0.03792113 = score(doc=1032,freq=1.0), product of:
          0.09805015 = queryWeight, product of:
            6.188039 = idf(docFreq=247, maxDocs=44421)
            0.015845109 = queryNorm
          0.38675243 = fieldWeight in 1032, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.188039 = idf(docFreq=247, maxDocs=44421)
            0.0625 = fieldNorm(doc=1032)
      0.014598487 = weight(abstract_txt:based in 1032) [ClassicSimilarity], result of:
        0.014598487 = score(doc=1032,freq=2.0), product of:
          0.051887885 = queryWeight, product of:
            1.0287832 = boost
            3.1830752 = idf(docFreq=5005, maxDocs=44421)
            0.015845109 = queryNorm
          0.28134674 = fieldWeight in 1032, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.1830752 = idf(docFreq=5005, maxDocs=44421)
            0.0625 = fieldNorm(doc=1032)
      0.047511723 = weight(abstract_txt:aware in 1032) [ClassicSimilarity], result of:
        0.047511723 = score(doc=1032,freq=1.0), product of:
          0.11395356 = queryWeight, product of:
            1.0780523 = boost
            6.6710296 = idf(docFreq=152, maxDocs=44421)
            0.015845109 = queryNorm
          0.41693935 = fieldWeight in 1032, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.6710296 = idf(docFreq=152, maxDocs=44421)
            0.0625 = fieldNorm(doc=1032)
      0.050236486 = weight(abstract_txt:searcher in 1032) [ClassicSimilarity], result of:
        0.050236486 = score(doc=1032,freq=1.0), product of:
          0.11826971 = queryWeight, product of:
            1.0982789 = boost
            6.7961926 = idf(docFreq=134, maxDocs=44421)
            0.015845109 = queryNorm
          0.42476204 = fieldWeight in 1032, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.7961926 = idf(docFreq=134, maxDocs=44421)
            0.0625 = fieldNorm(doc=1032)
      0.0134486575 = weight(abstract_txt:retrieval in 1032) [ClassicSimilarity], result of:
        0.0134486575 = score(doc=1032,freq=1.0), product of:
          0.06189516 = queryWeight, product of:
            1.1236193 = boost
            3.4765 = idf(docFreq=3732, maxDocs=44421)
            0.015845109 = queryNorm
          0.21728125 = fieldWeight in 1032, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.4765 = idf(docFreq=3732, maxDocs=44421)
            0.0625 = fieldNorm(doc=1032)
      0.055349074 = weight(abstract_txt:indexer in 1032) [ClassicSimilarity], result of:
        0.055349074 = score(doc=1032,freq=1.0), product of:
          0.12616366 = queryWeight, product of:
            1.1343395 = boost
            7.019336 = idf(docFreq=107, maxDocs=44421)
            0.015845109 = queryNorm
          0.4387085 = fieldWeight in 1032, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.019336 = idf(docFreq=107, maxDocs=44421)
            0.0625 = fieldNorm(doc=1032)
      0.107803136 = weight(abstract_txt:scalability in 1032) [ClassicSimilarity], result of:
        0.107803136 = score(doc=1032,freq=2.0), product of:
          0.15617265 = queryWeight, product of:
            1.2620553 = boost
            7.809647 = idf(docFreq=48, maxDocs=44421)
            0.015845109 = queryNorm
          0.6902818 = fieldWeight in 1032, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            7.809647 = idf(docFreq=48, maxDocs=44421)
            0.0625 = fieldNorm(doc=1032)
      0.019254247 = weight(abstract_txt:design in 1032) [ClassicSimilarity], result of:
        0.019254247 = score(doc=1032,freq=1.0), product of:
          0.07862399 = queryWeight, product of:
            1.2663927 = boost
            3.9182436 = idf(docFreq=2399, maxDocs=44421)
            0.015845109 = queryNorm
          0.24489023 = fieldWeight in 1032, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.9182436 = idf(docFreq=2399, maxDocs=44421)
            0.0625 = fieldNorm(doc=1032)
      0.12942372 = weight(abstract_txt:formulae in 1032) [ClassicSimilarity], result of:
        0.12942372 = score(doc=1032,freq=2.0), product of:
          0.1764114 = queryWeight, product of:
            1.341341 = boost
            8.30027 = idf(docFreq=29, maxDocs=44421)
            0.015845109 = queryNorm
          0.73364717 = fieldWeight in 1032, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            8.30027 = idf(docFreq=29, maxDocs=44421)
            0.0625 = fieldNorm(doc=1032)
      0.10058943 = weight(abstract_txt:checked in 1032) [ClassicSimilarity], result of:
        0.10058943 = score(doc=1032,freq=1.0), product of:
          0.18788652 = queryWeight, product of:
            1.3842791 = boost
            8.565973 = idf(docFreq=22, maxDocs=44421)
            0.015845109 = queryNorm
          0.53537333 = fieldWeight in 1032, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.565973 = idf(docFreq=22, maxDocs=44421)
            0.0625 = fieldNorm(doc=1032)
      0.107471295 = weight(abstract_txt:arxiv in 1032) [ClassicSimilarity], result of:
        0.107471295 = score(doc=1032,freq=1.0), product of:
          0.19636121 = queryWeight, product of:
            1.4151541 = boost
            8.757029 = idf(docFreq=18, maxDocs=44421)
            0.015845109 = queryNorm
          0.5473143 = fieldWeight in 1032, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.757029 = idf(docFreq=18, maxDocs=44421)
            0.0625 = fieldNorm(doc=1032)
      0.12887582 = weight(abstract_txt:apache in 1032) [ClassicSimilarity], result of:
        0.12887582 = score(doc=1032,freq=1.0), product of:
          0.22163671 = queryWeight, product of:
            1.5034767 = boost
            9.303573 = idf(docFreq=10, maxDocs=44421)
            0.015845109 = queryNorm
          0.5814733 = fieldWeight in 1032, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.303573 = idf(docFreq=10, maxDocs=44421)
            0.0625 = fieldNorm(doc=1032)
      0.15574165 = weight(abstract_txt:400,000 in 1032) [ClassicSimilarity], result of:
        0.15574165 = score(doc=1032,freq=1.0), product of:
          0.2514571 = queryWeight, product of:
            1.6014295 = boost
            9.909708 = idf(docFreq=5, maxDocs=44421)
            0.015845109 = queryNorm
          0.61935675 = fieldWeight in 1032, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.909708 = idf(docFreq=5, maxDocs=44421)
            0.0625 = fieldNorm(doc=1032)
      0.03190555 = weight(abstract_txt:system in 1032) [ClassicSimilarity], result of:
        0.03190555 = score(doc=1032,freq=3.0), product of:
          0.08738527 = queryWeight, product of:
            1.6351424 = boost
            3.372775 = idf(docFreq=4140, maxDocs=44421)
            0.015845109 = queryNorm
          0.36511362 = fieldWeight in 1032, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            3.372775 = idf(docFreq=4140, maxDocs=44421)
            0.0625 = fieldNorm(doc=1032)
      0.13438344 = weight(abstract_txt:mathematics in 1032) [ClassicSimilarity], result of:
        0.13438344 = score(doc=1032,freq=2.0), product of:
          0.22790712 = queryWeight, product of:
            2.1561046 = boost
            6.6710296 = idf(docFreq=152, maxDocs=44421)
            0.015845109 = queryNorm
          0.5896413 = fieldWeight in 1032, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            6.6710296 = idf(docFreq=152, maxDocs=44421)
            0.0625 = fieldNorm(doc=1032)
      0.25775164 = weight(abstract_txt:lucene in 1032) [ClassicSimilarity], result of:
        0.25775164 = score(doc=1032,freq=1.0), product of:
          0.44327343 = queryWeight, product of:
            3.0069535 = boost
            9.303573 = idf(docFreq=10, maxDocs=44421)
            0.015845109 = queryNorm
          0.5814733 = fieldWeight in 1032, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.303573 = idf(docFreq=10, maxDocs=44421)
            0.0625 = fieldNorm(doc=1032)
      0.48748997 = weight(abstract_txt:math in 1032) [ClassicSimilarity], result of:
        0.48748997 = score(doc=1032,freq=3.0), product of:
          0.53806883 = queryWeight, product of:
            4.057471 = boost
            8.369263 = idf(docFreq=27, maxDocs=44421)
            0.015845109 = queryNorm
          0.90599924 = fieldWeight in 1032, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            8.369263 = idf(docFreq=27, maxDocs=44421)
            0.0625 = fieldNorm(doc=1032)
    0.68 = coord(17/25)
  2. Líska, M.; Sojka, P.: MIaS 1.5 (2014) 0.36 
    0.36408564 = sum of:
  0.36408564 = product of:
    1.011349 = sum of:
      0.039241668 = weight(abstract_txt:almost in 2652) [ClassicSimilarity], result of:
        0.039241668 = score(doc=2652,freq=1.0), product of:
          0.10031342 = queryWeight, product of:
            1.0114756 = boost
            6.25905 = idf(docFreq=230, maxDocs=44421)
            0.015845109 = queryNorm
          0.39119062 = fieldWeight in 2652, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.25905 = idf(docFreq=230, maxDocs=44421)
            0.0625 = fieldNorm(doc=2652)
      0.07096168 = weight(abstract_txt:mathematical in 2652) [ClassicSimilarity], result of:
        0.07096168 = score(doc=2652,freq=3.0), product of:
          0.103237204 = queryWeight, product of:
            1.0261102 = boost
            6.3496094 = idf(docFreq=210, maxDocs=44421)
            0.015845109 = queryNorm
          0.68736535 = fieldWeight in 2652, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            6.3496094 = idf(docFreq=210, maxDocs=44421)
            0.0625 = fieldNorm(doc=2652)
      0.01032269 = weight(abstract_txt:based in 2652) [ClassicSimilarity], result of:
        0.01032269 = score(doc=2652,freq=1.0), product of:
          0.051887885 = queryWeight, product of:
            1.0287832 = boost
            3.1830752 = idf(docFreq=5005, maxDocs=44421)
            0.015845109 = queryNorm
          0.1989422 = fieldWeight in 2652, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.1830752 = idf(docFreq=5005, maxDocs=44421)
            0.0625 = fieldNorm(doc=2652)
      0.047511723 = weight(abstract_txt:aware in 2652) [ClassicSimilarity], result of:
        0.047511723 = score(doc=2652,freq=1.0), product of:
          0.11395356 = queryWeight, product of:
            1.0780523 = boost
            6.6710296 = idf(docFreq=152, maxDocs=44421)
            0.015845109 = queryNorm
          0.41693935 = fieldWeight in 2652, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.6710296 = idf(docFreq=152, maxDocs=44421)
            0.0625 = fieldNorm(doc=2652)
      0.1830328 = weight(abstract_txt:formulae in 2652) [ClassicSimilarity], result of:
        0.1830328 = score(doc=2652,freq=4.0), product of:
          0.1764114 = queryWeight, product of:
            1.341341 = boost
            8.30027 = idf(docFreq=29, maxDocs=44421)
            0.015845109 = queryNorm
          1.0375338 = fieldWeight in 2652, product of:
            2.0 = tf(freq=4.0), with freq of:
              4.0 = termFreq=4.0
            8.30027 = idf(docFreq=29, maxDocs=44421)
            0.0625 = fieldNorm(doc=2652)
      0.026050773 = weight(abstract_txt:system in 2652) [ClassicSimilarity], result of:
        0.026050773 = score(doc=2652,freq=2.0), product of:
          0.08738527 = queryWeight, product of:
            1.6351424 = boost
            3.372775 = idf(docFreq=4140, maxDocs=44421)
            0.015845109 = queryNorm
          0.298114 = fieldWeight in 2652, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.372775 = idf(docFreq=4140, maxDocs=44421)
            0.0625 = fieldNorm(doc=2652)
      0.095023446 = weight(abstract_txt:mathematics in 2652) [ClassicSimilarity], result of:
        0.095023446 = score(doc=2652,freq=1.0), product of:
          0.22790712 = queryWeight, product of:
            2.1561046 = boost
            6.6710296 = idf(docFreq=152, maxDocs=44421)
            0.015845109 = queryNorm
          0.41693935 = fieldWeight in 2652, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.6710296 = idf(docFreq=152, maxDocs=44421)
            0.0625 = fieldNorm(doc=2652)
      0.25775164 = weight(abstract_txt:lucene in 2652) [ClassicSimilarity], result of:
        0.25775164 = score(doc=2652,freq=1.0), product of:
          0.44327343 = queryWeight, product of:
            3.0069535 = boost
            9.303573 = idf(docFreq=10, maxDocs=44421)
            0.015845109 = queryNorm
          0.5814733 = fieldWeight in 2652, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.303573 = idf(docFreq=10, maxDocs=44421)
            0.0625 = fieldNorm(doc=2652)
      0.28145248 = weight(abstract_txt:math in 2652) [ClassicSimilarity], result of:
        0.28145248 = score(doc=2652,freq=1.0), product of:
          0.53806883 = queryWeight, product of:
            4.057471 = boost
            8.369263 = idf(docFreq=27, maxDocs=44421)
            0.015845109 = queryNorm
          0.5230789 = fieldWeight in 2652, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.369263 = idf(docFreq=27, maxDocs=44421)
            0.0625 = fieldNorm(doc=2652)
    0.36 = coord(9/25)
  3. Greiner-Petter, A.; Schubotz, M.; Cohl, H.S.; Gipp, B.: Semantic preserving bijective mappings for expressions involving special functions between computer algebra systems and document preparation systems (2019) 0.19 
    0.1878804 = sum of:
  0.1878804 = product of:
    0.58712626 = sum of:
      0.09161113 = weight(abstract_txt:mathematical in 499) [ClassicSimilarity], result of:
        0.09161113 = score(doc=499,freq=5.0), product of:
          0.103237204 = queryWeight, product of:
            1.0261102 = boost
            6.3496094 = idf(docFreq=210, maxDocs=44421)
            0.015845109 = queryNorm
          0.8873849 = fieldWeight in 499, product of:
            2.236068 = tf(freq=5.0), with freq of:
              5.0 = termFreq=5.0
            6.3496094 = idf(docFreq=210, maxDocs=44421)
            0.0625 = fieldNorm(doc=499)
      0.01032269 = weight(abstract_txt:based in 499) [ClassicSimilarity], result of:
        0.01032269 = score(doc=499,freq=1.0), product of:
          0.051887885 = queryWeight, product of:
            1.0287832 = boost
            3.1830752 = idf(docFreq=5005, maxDocs=44421)
            0.015845109 = queryNorm
          0.1989422 = fieldWeight in 499, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.1830752 = idf(docFreq=5005, maxDocs=44421)
            0.0625 = fieldNorm(doc=499)
      0.013222138 = weight(abstract_txt:using in 499) [ClassicSimilarity], result of:
        0.013222138 = score(doc=499,freq=1.0), product of:
          0.061198182 = queryWeight, product of:
            1.1172751 = boost
            3.4568708 = idf(docFreq=3806, maxDocs=44421)
            0.015845109 = queryNorm
          0.21605442 = fieldWeight in 499, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.4568708 = idf(docFreq=3806, maxDocs=44421)
            0.0625 = fieldNorm(doc=499)
      0.01578909 = weight(abstract_txt:were in 499) [ClassicSimilarity], result of:
        0.01578909 = score(doc=499,freq=1.0), product of:
          0.06888248 = queryWeight, product of:
            1.1853464 = boost
            3.6674848 = idf(docFreq=3083, maxDocs=44421)
            0.015845109 = queryNorm
          0.2292178 = fieldWeight in 499, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.6674848 = idf(docFreq=3083, maxDocs=44421)
            0.0625 = fieldNorm(doc=499)
      0.019254247 = weight(abstract_txt:design in 499) [ClassicSimilarity], result of:
        0.019254247 = score(doc=499,freq=1.0), product of:
          0.07862399 = queryWeight, product of:
            1.2663927 = boost
            3.9182436 = idf(docFreq=2399, maxDocs=44421)
            0.015845109 = queryNorm
          0.24489023 = fieldWeight in 499, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.9182436 = idf(docFreq=2399, maxDocs=44421)
            0.0625 = fieldNorm(doc=499)
      0.12942372 = weight(abstract_txt:formulae in 499) [ClassicSimilarity], result of:
        0.12942372 = score(doc=499,freq=2.0), product of:
          0.1764114 = queryWeight, product of:
            1.341341 = boost
            8.30027 = idf(docFreq=29, maxDocs=44421)
            0.015845109 = queryNorm
          0.73364717 = fieldWeight in 499, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            8.30027 = idf(docFreq=29, maxDocs=44421)
            0.0625 = fieldNorm(doc=499)
      0.026050773 = weight(abstract_txt:system in 499) [ClassicSimilarity], result of:
        0.026050773 = score(doc=499,freq=2.0), product of:
          0.08738527 = queryWeight, product of:
            1.6351424 = boost
            3.372775 = idf(docFreq=4140, maxDocs=44421)
            0.015845109 = queryNorm
          0.298114 = fieldWeight in 499, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.372775 = idf(docFreq=4140, maxDocs=44421)
            0.0625 = fieldNorm(doc=499)
      0.28145248 = weight(abstract_txt:math in 499) [ClassicSimilarity], result of:
        0.28145248 = score(doc=499,freq=1.0), product of:
          0.53806883 = queryWeight, product of:
            4.057471 = boost
            8.369263 = idf(docFreq=27, maxDocs=44421)
            0.015845109 = queryNorm
          0.5230789 = fieldWeight in 499, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.369263 = idf(docFreq=27, maxDocs=44421)
            0.0625 = fieldNorm(doc=499)
    0.32 = coord(8/25)
  4. Shechtman, N.; Chung, M.; Roschelle, J.: Supporting member collaboration in the Math Tools digital library : a formative user study (2004) 0.14 
    0.14018941 = sum of:
  0.14018941 = product of:
    0.87618387 = sum of:
      0.019736363 = weight(abstract_txt:were in 2163) [ClassicSimilarity], result of:
        0.019736363 = score(doc=2163,freq=1.0), product of:
          0.06888248 = queryWeight, product of:
            1.1853464 = boost
            3.6674848 = idf(docFreq=3083, maxDocs=44421)
            0.015845109 = queryNorm
          0.28652224 = fieldWeight in 2163, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.6674848 = idf(docFreq=3083, maxDocs=44421)
            0.078125 = fieldNorm(doc=2163)
      0.03403702 = weight(abstract_txt:design in 2163) [ClassicSimilarity], result of:
        0.03403702 = score(doc=2163,freq=2.0), product of:
          0.07862399 = queryWeight, product of:
            1.2663927 = boost
            3.9182436 = idf(docFreq=2399, maxDocs=44421)
            0.015845109 = queryNorm
          0.43290883 = fieldWeight in 2163, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.9182436 = idf(docFreq=2399, maxDocs=44421)
            0.078125 = fieldNorm(doc=2163)
      0.11877931 = weight(abstract_txt:mathematics in 2163) [ClassicSimilarity], result of:
        0.11877931 = score(doc=2163,freq=1.0), product of:
          0.22790712 = queryWeight, product of:
            2.1561046 = boost
            6.6710296 = idf(docFreq=152, maxDocs=44421)
            0.015845109 = queryNorm
          0.5211742 = fieldWeight in 2163, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.6710296 = idf(docFreq=152, maxDocs=44421)
            0.078125 = fieldNorm(doc=2163)
      0.70363116 = weight(abstract_txt:math in 2163) [ClassicSimilarity], result of:
        0.70363116 = score(doc=2163,freq=4.0), product of:
          0.53806883 = queryWeight, product of:
            4.057471 = boost
            8.369263 = idf(docFreq=27, maxDocs=44421)
            0.015845109 = queryNorm
          1.3076973 = fieldWeight in 2163, product of:
            2.0 = tf(freq=4.0), with freq of:
              4.0 = termFreq=4.0
            8.369263 = idf(docFreq=27, maxDocs=44421)
            0.078125 = fieldNorm(doc=2163)
    0.16 = coord(4/25)
  5. Aizawa, A.; Kohlhase, M.: Mathematical information retrieval (2021) 0.10 
    0.10418669 = sum of:
  0.10418669 = product of:
    0.65116686 = sum of:
      0.101394944 = weight(abstract_txt:mathematical in 1668) [ClassicSimilarity], result of:
        0.101394944 = score(doc=1668,freq=2.0), product of:
          0.103237204 = queryWeight, product of:
            1.0261102 = boost
            6.3496094 = idf(docFreq=210, maxDocs=44421)
            0.015845109 = queryNorm
          0.9821551 = fieldWeight in 1668, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            6.3496094 = idf(docFreq=210, maxDocs=44421)
            0.109375 = fieldNorm(doc=1668)
      0.023535151 = weight(abstract_txt:retrieval in 1668) [ClassicSimilarity], result of:
        0.023535151 = score(doc=1668,freq=1.0), product of:
          0.06189516 = queryWeight, product of:
            1.1236193 = boost
            3.4765 = idf(docFreq=3732, maxDocs=44421)
            0.015845109 = queryNorm
          0.3802422 = fieldWeight in 1668, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.4765 = idf(docFreq=3732, maxDocs=44421)
            0.109375 = fieldNorm(doc=1668)
      0.03369493 = weight(abstract_txt:design in 1668) [ClassicSimilarity], result of:
        0.03369493 = score(doc=1668,freq=1.0), product of:
          0.07862399 = queryWeight, product of:
            1.2663927 = boost
            3.9182436 = idf(docFreq=2399, maxDocs=44421)
            0.015845109 = queryNorm
          0.4285579 = fieldWeight in 1668, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.9182436 = idf(docFreq=2399, maxDocs=44421)
            0.109375 = fieldNorm(doc=1668)
      0.49254182 = weight(abstract_txt:math in 1668) [ClassicSimilarity], result of:
        0.49254182 = score(doc=1668,freq=1.0), product of:
          0.53806883 = queryWeight, product of:
            4.057471 = boost
            8.369263 = idf(docFreq=27, maxDocs=44421)
            0.015845109 = queryNorm
          0.9153881 = fieldWeight in 1668, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.369263 = idf(docFreq=27, maxDocs=44421)
            0.109375 = fieldNorm(doc=1668)
    0.16 = coord(4/25)