Document (#14935)

Author

Guidi, F.
Sacerdoti Coen, C.

Title

¬A survey on retrieval of mathematical knowledge

Source

https://arxiv.org/abs/1505.06646

Year

2015

Abstract

We present a short survey of the literature on indexing and retrieval of mathematical knowledge, with pointers to 72 papers and tentative taxonomies of both retrieval problems and recurring techniques.

Content

The final publication is available at http://link.springer.com.

Field

Mathematik

Similar documents (content)

1. Turquet, B.: Que faire de Rameau? : Ou comment faire avec Rameau? (1997) 0.21

   0.21318805 = sum of:
     0.21318805 = product of:
       0.6040328 = sum of:
         0.0079169255 = weight(abstract_txt:with in 2249) [ClassicSimilarity], result of:
           0.0079169255 = score(doc=2249,freq=1.0), product of:
             0.033782482 = queryWeight, product of:
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.013514434 = queryNorm
             0.23435001 = fieldWeight in 2249, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.09375 = fieldNorm(doc=2249)
         0.040227197 = weight(abstract_txt:problems in 2249) [ClassicSimilarity], result of:
           0.040227197 = score(doc=2249,freq=1.0), product of:
             0.0998467 = queryWeight, product of:
               1.7191789 = boost
               4.297489 = idf(docFreq=1634, maxDocs=44218)
               0.013514434 = queryNorm
             0.4028896 = fieldWeight in 2249, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.297489 = idf(docFreq=1634, maxDocs=44218)
               0.09375 = fieldNorm(doc=2249)
         0.05898406 = weight(abstract_txt:indexing in 2249) [ClassicSimilarity], result of:
           0.05898406 = score(doc=2249,freq=2.0), product of:
             0.102282256 = queryWeight, product of:
               1.7400205 = boost
               4.3495874 = idf(docFreq=1551, maxDocs=44218)
               0.013514434 = queryNorm
             0.5766793 = fieldWeight in 2249, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.3495874 = idf(docFreq=1551, maxDocs=44218)
               0.09375 = fieldNorm(doc=2249)
         0.047111478 = weight(abstract_txt:techniques in 2249) [ClassicSimilarity], result of:
           0.047111478 = score(doc=2249,freq=1.0), product of:
             0.11093579 = queryWeight, product of:
               1.8121331 = boost
               4.5298495 = idf(docFreq=1295, maxDocs=44218)
               0.013514434 = queryNorm
             0.42467338 = fieldWeight in 2249, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5298495 = idf(docFreq=1295, maxDocs=44218)
               0.09375 = fieldNorm(doc=2249)
         0.38597953 = weight(abstract_txt:recurring in 2249) [ClassicSimilarity], result of:
           0.38597953 = score(doc=2249,freq=1.0), product of:
             0.45084792 = queryWeight, product of:
               3.6531646 = boost
               9.131938 = idf(docFreq=12, maxDocs=44218)
               0.013514434 = queryNorm
             0.85611916 = fieldWeight in 2249, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.131938 = idf(docFreq=12, maxDocs=44218)
               0.09375 = fieldNorm(doc=2249)
         0.06381362 = weight(abstract_txt:retrieval in 2249) [ClassicSimilarity], result of:
           0.06381362 = score(doc=2249,freq=1.0), product of:
             0.19587088 = queryWeight, product of:
               4.170612 = boost
               3.4751394 = idf(docFreq=3720, maxDocs=44218)
               0.013514434 = queryNorm
             0.3257943 = fieldWeight in 2249, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4751394 = idf(docFreq=3720, maxDocs=44218)
               0.09375 = fieldNorm(doc=2249)
       0.3529412 = coord(6/17)
   

2. Aizawa, A.; Kohlhase, M.: Mathematical information retrieval (2021) 0.18

   0.18102452 = sum of:
     0.18102452 = product of:
       0.61548334 = sum of:
         0.009236413 = weight(abstract_txt:with in 667) [ClassicSimilarity], result of:
           0.009236413 = score(doc=667,freq=1.0), product of:
             0.033782482 = queryWeight, product of:
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.013514434 = queryNorm
             0.27340835 = fieldWeight in 667, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.109375 = fieldNorm(doc=667)
         0.048637748 = weight(abstract_txt:present in 667) [ClassicSimilarity], result of:
           0.048637748 = score(doc=667,freq=1.0), product of:
             0.10225196 = queryWeight, product of:
               1.7397628 = boost
               4.348943 = idf(docFreq=1552, maxDocs=44218)
               0.013514434 = queryNorm
             0.47566566 = fieldWeight in 667, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.348943 = idf(docFreq=1552, maxDocs=44218)
               0.109375 = fieldNorm(doc=667)
         0.05496339 = weight(abstract_txt:techniques in 667) [ClassicSimilarity], result of:
           0.05496339 = score(doc=667,freq=1.0), product of:
             0.11093579 = queryWeight, product of:
               1.8121331 = boost
               4.5298495 = idf(docFreq=1295, maxDocs=44218)
               0.013514434 = queryNorm
             0.49545228 = fieldWeight in 667, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5298495 = idf(docFreq=1295, maxDocs=44218)
               0.109375 = fieldNorm(doc=667)
         0.07444922 = weight(abstract_txt:retrieval in 667) [ClassicSimilarity], result of:
           0.07444922 = score(doc=667,freq=1.0), product of:
             0.19587088 = queryWeight, product of:
               4.170612 = boost
               3.4751394 = idf(docFreq=3720, maxDocs=44218)
               0.013514434 = 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.42819658 = weight(abstract_txt:mathematical in 667) [ClassicSimilarity], result of:
           0.42819658 = score(doc=667,freq=2.0), product of:
             0.43596485 = queryWeight, product of:
               5.080365 = boost
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.013514434 = 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.29411766 = coord(5/17)
   

3. Dominich, S.; Kiezer, T.: ¬A measure theoretic approach to information retrieval (2007) 0.16

   0.15814197 = sum of:
     0.15814197 = product of:
       0.53768265 = sum of:
         0.00653113 = weight(abstract_txt:with in 445) [ClassicSimilarity], result of:
           0.00653113 = score(doc=445,freq=2.0), product of:
             0.033782482 = queryWeight, product of:
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.013514434 = queryNorm
             0.1933289 = fieldWeight in 445, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.0546875 = fieldNorm(doc=445)
         0.024318874 = weight(abstract_txt:present in 445) [ClassicSimilarity], result of:
           0.024318874 = score(doc=445,freq=1.0), product of:
             0.10225196 = queryWeight, product of:
               1.7397628 = boost
               4.348943 = idf(docFreq=1552, maxDocs=44218)
               0.013514434 = queryNorm
             0.23783283 = fieldWeight in 445, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.348943 = idf(docFreq=1552, maxDocs=44218)
               0.0546875 = fieldNorm(doc=445)
         0.024329683 = weight(abstract_txt:indexing in 445) [ClassicSimilarity], result of:
           0.024329683 = score(doc=445,freq=1.0), product of:
             0.102282256 = queryWeight, product of:
               1.7400205 = boost
               4.3495874 = idf(docFreq=1551, maxDocs=44218)
               0.013514434 = queryNorm
             0.23786807 = fieldWeight in 445, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.3495874 = idf(docFreq=1551, maxDocs=44218)
               0.0546875 = fieldNorm(doc=445)
         0.11167383 = weight(abstract_txt:retrieval in 445) [ClassicSimilarity], result of:
           0.11167383 = score(doc=445,freq=9.0), product of:
             0.19587088 = queryWeight, product of:
               4.170612 = boost
               3.4751394 = idf(docFreq=3720, maxDocs=44218)
               0.013514434 = queryNorm
             0.57014006 = fieldWeight in 445, product of:
               3.0 = tf(freq=9.0), with freq of:
                 9.0 = termFreq=9.0
               3.4751394 = idf(docFreq=3720, maxDocs=44218)
               0.0546875 = fieldNorm(doc=445)
         0.37082914 = weight(abstract_txt:mathematical in 445) [ClassicSimilarity], result of:
           0.37082914 = score(doc=445,freq=6.0), product of:
             0.43596485 = queryWeight, product of:
               5.080365 = boost
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.013514434 = queryNorm
             0.8505941 = fieldWeight in 445, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.0546875 = fieldNorm(doc=445)
       0.29411766 = coord(5/17)
   

4. Dominich, S.: Mathematical foundations of information retrieval (2001) 0.15

   0.1528095 = sum of:
     0.1528095 = product of:
       0.64944035 = sum of:
         0.0065974374 = weight(abstract_txt:with in 1753) [ClassicSimilarity], result of:
           0.0065974374 = score(doc=1753,freq=1.0), product of:
             0.033782482 = queryWeight, product of:
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.013514434 = queryNorm
             0.19529167 = fieldWeight in 1753, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.078125 = fieldNorm(doc=1753)
         0.037881948 = weight(abstract_txt:knowledge in 1753) [ClassicSimilarity], result of:
           0.037881948 = score(doc=1753,freq=1.0), product of:
             0.13648123 = queryWeight, product of:
               2.842534 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.013514434 = queryNorm
             0.2775616 = fieldWeight in 1753, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.078125 = fieldNorm(doc=1753)
         0.075205065 = weight(abstract_txt:retrieval in 1753) [ClassicSimilarity], result of:
           0.075205065 = score(doc=1753,freq=2.0), product of:
             0.19587088 = queryWeight, product of:
               4.170612 = boost
               3.4751394 = idf(docFreq=3720, maxDocs=44218)
               0.013514434 = queryNorm
             0.38395226 = fieldWeight in 1753, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.4751394 = idf(docFreq=3720, maxDocs=44218)
               0.078125 = fieldNorm(doc=1753)
         0.5297559 = weight(abstract_txt:mathematical in 1753) [ClassicSimilarity], result of:
           0.5297559 = score(doc=1753,freq=6.0), product of:
             0.43596485 = queryWeight, product of:
               5.080365 = boost
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.013514434 = queryNorm
             1.2151344 = fieldWeight in 1753, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.078125 = fieldNorm(doc=1753)
       0.23529412 = coord(4/17)
   

5. Belew, R.K.: Finding out about : a cognitive perspective on search engine technology and the WWW (2001) 0.15

   0.15182512 = sum of:
     0.15182512 = product of:
       0.32262838 = sum of:
         0.0039584627 = weight(abstract_txt:with in 3346) [ClassicSimilarity], result of:
           0.0039584627 = score(doc=3346,freq=1.0), product of:
             0.033782482 = queryWeight, product of:
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.013514434 = queryNorm
             0.117175005 = fieldWeight in 3346, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.046875 = fieldNorm(doc=3346)
         0.019845773 = weight(abstract_txt:both in 3346) [ClassicSimilarity], result of:
           0.019845773 = score(doc=3346,freq=2.0), product of:
             0.07854331 = queryWeight, product of:
               1.5247858 = boost
               3.811558 = idf(docFreq=2657, maxDocs=44218)
               0.013514434 = queryNorm
             0.25267297 = fieldWeight in 3346, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.811558 = idf(docFreq=2657, maxDocs=44218)
               0.046875 = fieldNorm(doc=3346)
         0.020844748 = weight(abstract_txt:present in 3346) [ClassicSimilarity], result of:
           0.020844748 = score(doc=3346,freq=1.0), product of:
             0.10225196 = queryWeight, product of:
               1.7397628 = boost
               4.348943 = idf(docFreq=1552, maxDocs=44218)
               0.013514434 = queryNorm
             0.2038567 = fieldWeight in 3346, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.348943 = idf(docFreq=1552, maxDocs=44218)
               0.046875 = fieldNorm(doc=3346)
         0.020854013 = weight(abstract_txt:indexing in 3346) [ClassicSimilarity], result of:
           0.020854013 = score(doc=3346,freq=1.0), product of:
             0.102282256 = queryWeight, product of:
               1.7400205 = boost
               4.3495874 = idf(docFreq=1551, maxDocs=44218)
               0.013514434 = queryNorm
             0.20388691 = fieldWeight in 3346, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.3495874 = idf(docFreq=1551, maxDocs=44218)
               0.046875 = fieldNorm(doc=3346)
         0.04936886 = weight(abstract_txt:short in 3346) [ClassicSimilarity], result of:
           0.04936886 = score(doc=3346,freq=1.0), product of:
             0.18168089 = queryWeight, product of:
               2.3190432 = boost
               5.79699 = idf(docFreq=364, maxDocs=44218)
               0.013514434 = queryNorm
             0.2717339 = fieldWeight in 3346, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.79699 = idf(docFreq=364, maxDocs=44218)
               0.046875 = fieldNorm(doc=3346)
         0.02272917 = weight(abstract_txt:knowledge in 3346) [ClassicSimilarity], result of:
           0.02272917 = score(doc=3346,freq=1.0), product of:
             0.13648123 = queryWeight, product of:
               2.842534 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.013514434 = queryNorm
             0.16653697 = fieldWeight in 3346, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.046875 = fieldNorm(doc=3346)
         0.055264216 = weight(abstract_txt:retrieval in 3346) [ClassicSimilarity], result of:
           0.055264216 = score(doc=3346,freq=3.0), product of:
             0.19587088 = queryWeight, product of:
               4.170612 = boost
               3.4751394 = idf(docFreq=3720, maxDocs=44218)
               0.013514434 = queryNorm
             0.28214616 = fieldWeight in 3346, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.4751394 = idf(docFreq=3720, maxDocs=44218)
               0.046875 = fieldNorm(doc=3346)
         0.12976316 = weight(abstract_txt:mathematical in 3346) [ClassicSimilarity], result of:
           0.12976316 = score(doc=3346,freq=1.0), product of:
             0.43596485 = queryWeight, product of:
               5.080365 = boost
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.013514434 = queryNorm
             0.29764593 = fieldWeight in 3346, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.046875 = fieldNorm(doc=3346)
       0.47058824 = coord(8/17)