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.190705 = sum of:
  6.190705 = weight(author_txt:sojka in 32) [ClassicSimilarity], result of:
    6.190705 = fieldWeight in 32, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.905128 = idf(docFreq=5, maxDocs=44218)
      0.625 = fieldNorm(doc=32)
  2. 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)
  3. 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)
  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.: Exploiting semantic annotations in math information retrieval (2012) 1.28 
    1.2790049 = sum of:
  1.2790049 = product of:
    1.8808895 = sum of:
      0.03852997 = weight(abstract_txt:argue in 32) [ClassicSimilarity], result of:
        0.03852997 = score(doc=32,freq=1.0), product of:
          0.09910571 = queryWeight, product of:
            1.0006716 = boost
            6.2204237 = idf(docFreq=238, maxDocs=44218)
            0.015921615 = queryNorm
          0.38877648 = fieldWeight in 32, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.2204237 = idf(docFreq=238, maxDocs=44218)
            0.0625 = fieldNorm(doc=32)
      0.014669291 = weight(abstract_txt:based in 32) [ClassicSimilarity], result of:
        0.014669291 = score(doc=32,freq=2.0), product of:
          0.05206018 = queryWeight, product of:
            1.0256758 = boost
            3.1879277 = idf(docFreq=4958, maxDocs=44218)
            0.015921615 = queryNorm
          0.28177565 = fieldWeight in 32, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.1879277 = idf(docFreq=4958, maxDocs=44218)
            0.0625 = fieldNorm(doc=32)
      0.047426652 = weight(abstract_txt:aware in 32) [ClassicSimilarity], result of:
        0.047426652 = score(doc=32,freq=1.0), product of:
          0.11382768 = queryWeight, product of:
            1.0724232 = boost
            6.666449 = idf(docFreq=152, maxDocs=44218)
            0.015921615 = queryNorm
          0.41665307 = fieldWeight in 32, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.666449 = idf(docFreq=152, maxDocs=44218)
            0.0625 = fieldNorm(doc=32)
      0.0504798 = weight(abstract_txt:searcher in 32) [ClassicSimilarity], result of:
        0.0504798 = score(doc=32,freq=1.0), product of:
          0.11866191 = queryWeight, product of:
            1.0949591 = boost
            6.806538 = idf(docFreq=132, maxDocs=44218)
            0.015921615 = queryNorm
          0.42540863 = fieldWeight in 32, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.806538 = idf(docFreq=132, maxDocs=44218)
            0.0625 = fieldNorm(doc=32)
      0.013436479 = weight(abstract_txt:retrieval in 32) [ClassicSimilarity], result of:
        0.013436479 = score(doc=32,freq=1.0), product of:
          0.061863318 = queryWeight, product of:
            1.1180825 = boost
            3.4751394 = idf(docFreq=3720, maxDocs=44218)
            0.015921615 = queryNorm
          0.21719621 = fieldWeight in 32, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.4751394 = idf(docFreq=3720, maxDocs=44218)
            0.0625 = fieldNorm(doc=32)
      0.05525563 = weight(abstract_txt:indexer in 32) [ClassicSimilarity], result of:
        0.05525563 = score(doc=32,freq=1.0), product of:
          0.1260329 = queryWeight, product of:
            1.1284549 = boost
            7.014756 = idf(docFreq=107, maxDocs=44218)
            0.015921615 = queryNorm
          0.43842226 = fieldWeight in 32, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.014756 = idf(docFreq=107, maxDocs=44218)
            0.0625 = fieldNorm(doc=32)
      0.019296719 = weight(abstract_txt:design in 32) [ClassicSimilarity], result of:
        0.019296719 = score(doc=32,freq=1.0), product of:
          0.07874661 = queryWeight, product of:
            1.2614591 = boost
            3.9207718 = idf(docFreq=2382, maxDocs=44218)
            0.015921615 = queryNorm
          0.24504824 = fieldWeight in 32, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.9207718 = idf(docFreq=2382, maxDocs=44218)
            0.0625 = fieldNorm(doc=32)
      0.109375864 = weight(abstract_txt:scalability in 32) [ClassicSimilarity], result of:
        0.109375864 = score(doc=32,freq=2.0), product of:
          0.15770201 = queryWeight, product of:
            1.262295 = boost
            7.84674 = idf(docFreq=46, maxDocs=44218)
            0.015921615 = queryNorm
          0.69356036 = fieldWeight in 32, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            7.84674 = idf(docFreq=46, maxDocs=44218)
            0.0625 = fieldNorm(doc=32)
      0.12924425 = weight(abstract_txt:formulae in 32) [ClassicSimilarity], result of:
        0.12924425 = score(doc=32,freq=2.0), product of:
          0.17626405 = queryWeight, product of:
            1.334517 = boost
            8.29569 = idf(docFreq=29, maxDocs=44218)
            0.015921615 = queryNorm
          0.7332423 = fieldWeight in 32, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            8.29569 = idf(docFreq=29, maxDocs=44218)
            0.0625 = fieldNorm(doc=32)
      0.100455105 = weight(abstract_txt:checked in 32) [ClassicSimilarity], result of:
        0.100455105 = score(doc=32,freq=1.0), product of:
          0.187736 = queryWeight, product of:
            1.3772603 = boost
            8.561393 = idf(docFreq=22, maxDocs=44218)
            0.015921615 = queryNorm
          0.53508705 = fieldWeight in 32, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.561393 = idf(docFreq=22, maxDocs=44218)
            0.0625 = fieldNorm(doc=32)
      0.10733156 = weight(abstract_txt:arxiv in 32) [ClassicSimilarity], result of:
        0.10733156 = score(doc=32,freq=1.0), product of:
          0.19620852 = queryWeight, product of:
            1.4079952 = boost
            8.752448 = idf(docFreq=18, maxDocs=44218)
            0.015921615 = queryNorm
          0.547028 = fieldWeight in 32, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.752448 = idf(docFreq=18, maxDocs=44218)
            0.0625 = fieldNorm(doc=32)
      0.12872012 = weight(abstract_txt:apache in 32) [ClassicSimilarity], result of:
        0.12872012 = score(doc=32,freq=1.0), product of:
          0.22147797 = queryWeight, product of:
            1.4959171 = boost
            9.298992 = idf(docFreq=10, maxDocs=44218)
            0.015921615 = queryNorm
          0.581187 = fieldWeight in 32, 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=32)
      0.15556754 = weight(abstract_txt:400,000 in 32) [ClassicSimilarity], result of:
        0.15556754 = score(doc=32,freq=1.0), product of:
          0.25129214 = queryWeight, product of:
            1.5934253 = boost
            9.905128 = idf(docFreq=5, maxDocs=44218)
            0.015921615 = queryNorm
          0.6190705 = fieldWeight in 32, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.905128 = idf(docFreq=5, maxDocs=44218)
            0.0625 = fieldNorm(doc=32)
      0.03190087 = weight(abstract_txt:system in 32) [ClassicSimilarity], result of:
        0.03190087 = score(doc=32,freq=3.0), product of:
          0.087384544 = queryWeight, product of:
            1.627497 = boost
            3.3723085 = idf(docFreq=4123, maxDocs=44218)
            0.015921615 = queryNorm
          0.3650631 = fieldWeight in 32, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            3.3723085 = idf(docFreq=4123, maxDocs=44218)
            0.0625 = fieldNorm(doc=32)
      0.1349387 = weight(abstract_txt:mathematics in 32) [ClassicSimilarity], result of:
        0.1349387 = score(doc=32,freq=2.0), product of:
          0.22855493 = queryWeight, product of:
            2.1490798 = boost
            6.6796074 = idf(docFreq=150, maxDocs=44218)
            0.015921615 = queryNorm
          0.59039944 = fieldWeight in 32, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            6.6796074 = idf(docFreq=150, maxDocs=44218)
            0.0625 = fieldNorm(doc=32)
      0.25744024 = weight(abstract_txt:lucene in 32) [ClassicSimilarity], result of:
        0.25744024 = score(doc=32,freq=1.0), product of:
          0.44295594 = queryWeight, product of:
            2.9918342 = boost
            9.298992 = idf(docFreq=10, maxDocs=44218)
            0.015921615 = queryNorm
          0.581187 = fieldWeight in 32, 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=32)
      0.48682085 = weight(abstract_txt:math in 32) [ClassicSimilarity], result of:
        0.48682085 = score(doc=32,freq=3.0), product of:
          0.5376245 = queryWeight, product of:
            4.036848 = boost
            8.364683 = idf(docFreq=27, maxDocs=44218)
            0.015921615 = queryNorm
          0.9055035 = fieldWeight in 32, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            8.364683 = idf(docFreq=27, maxDocs=44218)
            0.0625 = fieldNorm(doc=32)
    0.68 = coord(17/25)
  2. Líska, M.; Sojka, P.: MIaS 1.5 (2014) 0.36 
    0.36385214 = sum of:
  0.36385214 = product of:
    1.0107003 = sum of:
      0.03916609 = weight(abstract_txt:almost in 1652) [ClassicSimilarity], result of:
        0.03916609 = score(doc=1652,freq=1.0), product of:
          0.10019354 = queryWeight, product of:
            1.0061486 = boost
            6.2544694 = idf(docFreq=230, maxDocs=44218)
            0.015921615 = queryNorm
          0.39090434 = fieldWeight in 1652, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.2544694 = idf(docFreq=230, maxDocs=44218)
            0.0625 = fieldNorm(doc=1652)
      0.07098643 = weight(abstract_txt:mathematical in 1652) [ClassicSimilarity], result of:
        0.07098643 = score(doc=1652,freq=3.0), product of:
          0.10327044 = queryWeight, product of:
            1.0214809 = boost
            6.3497796 = idf(docFreq=209, maxDocs=44218)
            0.015921615 = queryNorm
          0.6873838 = fieldWeight in 1652, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            6.3497796 = idf(docFreq=209, maxDocs=44218)
            0.0625 = fieldNorm(doc=1652)
      0.010372755 = weight(abstract_txt:based in 1652) [ClassicSimilarity], result of:
        0.010372755 = score(doc=1652,freq=1.0), product of:
          0.05206018 = queryWeight, product of:
            1.0256758 = boost
            3.1879277 = idf(docFreq=4958, maxDocs=44218)
            0.015921615 = queryNorm
          0.19924548 = fieldWeight in 1652, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.1879277 = idf(docFreq=4958, maxDocs=44218)
            0.0625 = fieldNorm(doc=1652)
      0.047426652 = weight(abstract_txt:aware in 1652) [ClassicSimilarity], result of:
        0.047426652 = score(doc=1652,freq=1.0), product of:
          0.11382768 = queryWeight, product of:
            1.0724232 = boost
            6.666449 = idf(docFreq=152, maxDocs=44218)
            0.015921615 = queryNorm
          0.41665307 = fieldWeight in 1652, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.666449 = idf(docFreq=152, maxDocs=44218)
            0.0625 = fieldNorm(doc=1652)
      0.18277898 = weight(abstract_txt:formulae in 1652) [ClassicSimilarity], result of:
        0.18277898 = score(doc=1652,freq=4.0), product of:
          0.17626405 = queryWeight, product of:
            1.334517 = boost
            8.29569 = idf(docFreq=29, maxDocs=44218)
            0.015921615 = 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.026046954 = weight(abstract_txt:system in 1652) [ClassicSimilarity], result of:
        0.026046954 = score(doc=1652,freq=2.0), product of:
          0.087384544 = queryWeight, product of:
            1.627497 = boost
            3.3723085 = idf(docFreq=4123, maxDocs=44218)
            0.015921615 = 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.09541608 = weight(abstract_txt:mathematics in 1652) [ClassicSimilarity], result of:
        0.09541608 = score(doc=1652,freq=1.0), product of:
          0.22855493 = queryWeight, product of:
            2.1490798 = boost
            6.6796074 = idf(docFreq=150, maxDocs=44218)
            0.015921615 = 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.25744024 = weight(abstract_txt:lucene in 1652) [ClassicSimilarity], result of:
        0.25744024 = score(doc=1652,freq=1.0), product of:
          0.44295594 = queryWeight, product of:
            2.9918342 = boost
            9.298992 = idf(docFreq=10, maxDocs=44218)
            0.015921615 = 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.28106615 = weight(abstract_txt:math in 1652) [ClassicSimilarity], result of:
        0.28106615 = score(doc=1652,freq=1.0), product of:
          0.5376245 = queryWeight, product of:
            4.036848 = boost
            8.364683 = idf(docFreq=27, maxDocs=44218)
            0.015921615 = 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.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.18777412 = sum of:
  0.18777412 = product of:
    0.58679414 = sum of:
      0.09164309 = weight(abstract_txt:mathematical in 5499) [ClassicSimilarity], result of:
        0.09164309 = score(doc=5499,freq=5.0), product of:
          0.10327044 = queryWeight, product of:
            1.0214809 = boost
            6.3497796 = idf(docFreq=209, maxDocs=44218)
            0.015921615 = queryNorm
          0.8874087 = fieldWeight in 5499, product of:
            2.236068 = tf(freq=5.0), with freq of:
              5.0 = termFreq=5.0
            6.3497796 = idf(docFreq=209, maxDocs=44218)
            0.0625 = fieldNorm(doc=5499)
      0.010372755 = weight(abstract_txt:based in 5499) [ClassicSimilarity], result of:
        0.010372755 = score(doc=5499,freq=1.0), product of:
          0.05206018 = queryWeight, product of:
            1.0256758 = boost
            3.1879277 = idf(docFreq=4958, maxDocs=44218)
            0.015921615 = queryNorm
          0.19924548 = fieldWeight in 5499, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.1879277 = idf(docFreq=4958, maxDocs=44218)
            0.0625 = fieldNorm(doc=5499)
      0.013297527 = weight(abstract_txt:using in 5499) [ClassicSimilarity], result of:
        0.013297527 = score(doc=5499,freq=1.0), product of:
          0.06143608 = queryWeight, product of:
            1.114215 = boost
            3.4631186 = idf(docFreq=3765, maxDocs=44218)
            0.015921615 = queryNorm
          0.21644491 = fieldWeight in 5499, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.4631186 = idf(docFreq=3765, maxDocs=44218)
            0.0625 = fieldNorm(doc=5499)
      0.01582667 = weight(abstract_txt:were in 5499) [ClassicSimilarity], result of:
        0.01582667 = score(doc=5499,freq=1.0), product of:
          0.06899791 = queryWeight, product of:
            1.180797 = boost
            3.6700637 = idf(docFreq=3061, maxDocs=44218)
            0.015921615 = queryNorm
          0.22937898 = fieldWeight in 5499, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.6700637 = idf(docFreq=3061, maxDocs=44218)
            0.0625 = fieldNorm(doc=5499)
      0.019296719 = weight(abstract_txt:design in 5499) [ClassicSimilarity], result of:
        0.019296719 = score(doc=5499,freq=1.0), product of:
          0.07874661 = queryWeight, product of:
            1.2614591 = boost
            3.9207718 = idf(docFreq=2382, maxDocs=44218)
            0.015921615 = queryNorm
          0.24504824 = fieldWeight in 5499, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.9207718 = idf(docFreq=2382, maxDocs=44218)
            0.0625 = fieldNorm(doc=5499)
      0.12924425 = weight(abstract_txt:formulae in 5499) [ClassicSimilarity], result of:
        0.12924425 = score(doc=5499,freq=2.0), product of:
          0.17626405 = queryWeight, product of:
            1.334517 = boost
            8.29569 = idf(docFreq=29, maxDocs=44218)
            0.015921615 = queryNorm
          0.7332423 = fieldWeight in 5499, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            8.29569 = idf(docFreq=29, maxDocs=44218)
            0.0625 = fieldNorm(doc=5499)
      0.026046954 = weight(abstract_txt:system in 5499) [ClassicSimilarity], result of:
        0.026046954 = score(doc=5499,freq=2.0), product of:
          0.087384544 = queryWeight, product of:
            1.627497 = boost
            3.3723085 = idf(docFreq=4123, maxDocs=44218)
            0.015921615 = queryNorm
          0.2980728 = fieldWeight in 5499, 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=5499)
      0.28106615 = weight(abstract_txt:math in 5499) [ClassicSimilarity], result of:
        0.28106615 = score(doc=5499,freq=1.0), product of:
          0.5376245 = queryWeight, product of:
            4.036848 = boost
            8.364683 = idf(docFreq=27, maxDocs=44218)
            0.015921615 = queryNorm
          0.5227927 = fieldWeight in 5499, 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=5499)
    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.14013293 = sum of:
  0.14013293 = product of:
    0.8758309 = sum of:
      0.019783339 = weight(abstract_txt:were in 1163) [ClassicSimilarity], result of:
        0.019783339 = score(doc=1163,freq=1.0), product of:
          0.06899791 = queryWeight, product of:
            1.180797 = boost
            3.6700637 = idf(docFreq=3061, maxDocs=44218)
            0.015921615 = queryNorm
          0.28672373 = fieldWeight in 1163, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.6700637 = idf(docFreq=3061, maxDocs=44218)
            0.078125 = fieldNorm(doc=1163)
      0.034112096 = weight(abstract_txt:design in 1163) [ClassicSimilarity], result of:
        0.034112096 = score(doc=1163,freq=2.0), product of:
          0.07874661 = queryWeight, product of:
            1.2614591 = boost
            3.9207718 = idf(docFreq=2382, maxDocs=44218)
            0.015921615 = queryNorm
          0.43318814 = fieldWeight in 1163, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.9207718 = idf(docFreq=2382, maxDocs=44218)
            0.078125 = fieldNorm(doc=1163)
      0.119270094 = weight(abstract_txt:mathematics in 1163) [ClassicSimilarity], result of:
        0.119270094 = score(doc=1163,freq=1.0), product of:
          0.22855493 = queryWeight, product of:
            2.1490798 = boost
            6.6796074 = idf(docFreq=150, maxDocs=44218)
            0.015921615 = 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.7026654 = weight(abstract_txt:math in 1163) [ClassicSimilarity], result of:
        0.7026654 = score(doc=1163,freq=4.0), product of:
          0.5376245 = queryWeight, product of:
            4.036848 = boost
            8.364683 = idf(docFreq=27, maxDocs=44218)
            0.015921615 = 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)
  5. Aizawa, A.; Kohlhase, M.: Mathematical information retrieval (2021) 0.10 
    0.104092665 = sum of:
  0.104092665 = product of:
    0.65057915 = sum of:
      0.10143031 = weight(abstract_txt:mathematical in 667) [ClassicSimilarity], result of:
        0.10143031 = score(doc=667,freq=2.0), product of:
          0.10327044 = queryWeight, product of:
            1.0214809 = boost
            6.3497796 = idf(docFreq=209, maxDocs=44218)
            0.015921615 = queryNorm
          0.98218143 = fieldWeight in 667, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            6.3497796 = idf(docFreq=209, maxDocs=44218)
            0.109375 = fieldNorm(doc=667)
      0.023513837 = weight(abstract_txt:retrieval in 667) [ClassicSimilarity], result of:
        0.023513837 = score(doc=667,freq=1.0), product of:
          0.061863318 = queryWeight, product of:
            1.1180825 = boost
            3.4751394 = idf(docFreq=3720, maxDocs=44218)
            0.015921615 = queryNorm
          0.38009337 = fieldWeight in 667, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.4751394 = idf(docFreq=3720, maxDocs=44218)
            0.109375 = fieldNorm(doc=667)
      0.033769257 = weight(abstract_txt:design in 667) [ClassicSimilarity], result of:
        0.033769257 = score(doc=667,freq=1.0), product of:
          0.07874661 = queryWeight, product of:
            1.2614591 = boost
            3.9207718 = idf(docFreq=2382, maxDocs=44218)
            0.015921615 = queryNorm
          0.4288344 = fieldWeight in 667, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.9207718 = idf(docFreq=2382, maxDocs=44218)
            0.109375 = fieldNorm(doc=667)
      0.49186575 = weight(abstract_txt:math in 667) [ClassicSimilarity], result of:
        0.49186575 = score(doc=667,freq=1.0), product of:
          0.5376245 = queryWeight, product of:
            4.036848 = boost
            8.364683 = idf(docFreq=27, maxDocs=44218)
            0.015921615 = queryNorm
          0.9148872 = fieldWeight in 667, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.364683 = idf(docFreq=27, maxDocs=44218)
            0.109375 = fieldNorm(doc=667)
    0.16 = coord(4/25)