Document (#14934)

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.21341789 = sum of:
     0.21341789 = product of:
       0.604684 = sum of:
         0.007880675 = weight(abstract_txt:with in 3249) [ClassicSimilarity], result of:
           0.007880675 = score(doc=3249,freq=1.0), product of:
             0.03367621 = queryWeight, product of:
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.013491316 = queryNorm
             0.23401311 = fieldWeight in 3249, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.09375 = fieldNorm(doc=3249)
         0.040310547 = weight(abstract_txt:problems in 3249) [ClassicSimilarity], result of:
           0.040310547 = score(doc=3249,freq=1.0), product of:
             0.09997546 = queryWeight, product of:
               1.7229993 = boost
               4.300847 = idf(docFreq=1636, maxDocs=44421)
               0.013491316 = queryNorm
             0.4032044 = fieldWeight in 3249, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.300847 = idf(docFreq=1636, maxDocs=44421)
               0.09375 = fieldNorm(doc=3249)
         0.05899729 = weight(abstract_txt:indexing in 3249) [ClassicSimilarity], result of:
           0.05899729 = score(doc=3249,freq=2.0), product of:
             0.10228823 = queryWeight, product of:
               1.7428148 = boost
               4.3503094 = idf(docFreq=1557, maxDocs=44421)
               0.013491316 = queryNorm
             0.57677495 = fieldWeight in 3249, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.3503094 = idf(docFreq=1557, maxDocs=44421)
               0.09375 = fieldNorm(doc=3249)
         0.047169372 = weight(abstract_txt:techniques in 3249) [ClassicSimilarity], result of:
           0.047169372 = score(doc=3249,freq=1.0), product of:
             0.11101654 = queryWeight, product of:
               1.8156505 = boost
               4.5321174 = idf(docFreq=1298, maxDocs=44421)
               0.013491316 = queryNorm
             0.424886 = fieldWeight in 3249, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5321174 = idf(docFreq=1298, maxDocs=44421)
               0.09375 = fieldNorm(doc=3249)
         0.386455 = weight(abstract_txt:recurring in 3249) [ClassicSimilarity], result of:
           0.386455 = score(doc=3249,freq=1.0), product of:
             0.45117697 = queryWeight, product of:
               3.6602592 = boost
               9.1365185 = idf(docFreq=12, maxDocs=44421)
               0.013491316 = queryNorm
             0.8565486 = fieldWeight in 3249, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.1365185 = idf(docFreq=12, maxDocs=44421)
               0.09375 = fieldNorm(doc=3249)
         0.06387114 = weight(abstract_txt:retrieval in 3249) [ClassicSimilarity], result of:
           0.06387114 = score(doc=3249,freq=1.0), product of:
             0.1959707 = queryWeight, product of:
               4.1782517 = boost
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.013491316 = queryNorm
             0.3259219 = fieldWeight in 3249, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.09375 = fieldNorm(doc=3249)
       0.3529412 = coord(6/17)
   

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

   0.18097247 = sum of:
     0.18097247 = product of:
       0.6153064 = sum of:
         0.009194121 = weight(abstract_txt:with in 1668) [ClassicSimilarity], result of:
           0.009194121 = score(doc=1668,freq=1.0), product of:
             0.03367621 = queryWeight, product of:
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.013491316 = queryNorm
             0.2730153 = fieldWeight in 1668, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.109375 = fieldNorm(doc=1668)
         0.048519988 = weight(abstract_txt:present in 1668) [ClassicSimilarity], result of:
           0.048519988 = score(doc=1668,freq=1.0), product of:
             0.102077544 = queryWeight, product of:
               1.7410189 = boost
               4.3458266 = idf(docFreq=1564, maxDocs=44421)
               0.013491316 = queryNorm
             0.47532478 = fieldWeight in 1668, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.3458266 = idf(docFreq=1564, maxDocs=44421)
               0.109375 = fieldNorm(doc=1668)
         0.055030935 = weight(abstract_txt:techniques in 1668) [ClassicSimilarity], result of:
           0.055030935 = score(doc=1668,freq=1.0), product of:
             0.11101654 = queryWeight, product of:
               1.8156505 = boost
               4.5321174 = idf(docFreq=1298, maxDocs=44421)
               0.013491316 = queryNorm
             0.49570033 = fieldWeight in 1668, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5321174 = idf(docFreq=1298, maxDocs=44421)
               0.109375 = fieldNorm(doc=1668)
         0.074516326 = weight(abstract_txt:retrieval in 1668) [ClassicSimilarity], result of:
           0.074516326 = score(doc=1668,freq=1.0), product of:
             0.1959707 = queryWeight, product of:
               4.1782517 = boost
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.013491316 = 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.42804503 = weight(abstract_txt:mathematical in 1668) [ClassicSimilarity], result of:
           0.42804503 = score(doc=1668,freq=2.0), product of:
             0.43582225 = queryWeight, product of:
               5.087543 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.013491316 = 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.29411766 = coord(5/17)
   

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

   0.15810846 = sum of:
     0.15810846 = product of:
       0.53756875 = sum of:
         0.0065012244 = weight(abstract_txt:with in 1445) [ClassicSimilarity], result of:
           0.0065012244 = score(doc=1445,freq=2.0), product of:
             0.03367621 = queryWeight, product of:
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.013491316 = queryNorm
             0.19305095 = fieldWeight in 1445, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1445)
         0.024259994 = weight(abstract_txt:present in 1445) [ClassicSimilarity], result of:
           0.024259994 = score(doc=1445,freq=1.0), product of:
             0.102077544 = queryWeight, product of:
               1.7410189 = boost
               4.3458266 = idf(docFreq=1564, maxDocs=44421)
               0.013491316 = queryNorm
             0.23766239 = fieldWeight in 1445, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.3458266 = idf(docFreq=1564, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1445)
         0.024335142 = weight(abstract_txt:indexing in 1445) [ClassicSimilarity], result of:
           0.024335142 = score(doc=1445,freq=1.0), product of:
             0.10228823 = queryWeight, product of:
               1.7428148 = boost
               4.3503094 = idf(docFreq=1557, maxDocs=44421)
               0.013491316 = queryNorm
             0.23790754 = fieldWeight in 1445, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.3503094 = idf(docFreq=1557, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1445)
         0.11177449 = weight(abstract_txt:retrieval in 1445) [ClassicSimilarity], result of:
           0.11177449 = score(doc=1445,freq=9.0), product of:
             0.1959707 = queryWeight, product of:
               4.1782517 = boost
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.013491316 = queryNorm
             0.5703633 = fieldWeight in 1445, product of:
               3.0 = tf(freq=9.0), with freq of:
                 9.0 = termFreq=9.0
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1445)
         0.3706979 = weight(abstract_txt:mathematical in 1445) [ClassicSimilarity], result of:
           0.3706979 = score(doc=1445,freq=6.0), product of:
             0.43582225 = queryWeight, product of:
               5.087543 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.013491316 = queryNorm
             0.8505713 = fieldWeight in 1445, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1445)
       0.29411766 = coord(5/17)
   

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

   0.15272374 = sum of:
     0.15272374 = product of:
       0.6490759 = sum of:
         0.0065672286 = weight(abstract_txt:with in 2753) [ClassicSimilarity], result of:
           0.0065672286 = score(doc=2753,freq=1.0), product of:
             0.03367621 = queryWeight, product of:
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.013491316 = queryNorm
             0.19501092 = fieldWeight in 2753, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.078125 = fieldNorm(doc=2753)
         0.037667423 = weight(abstract_txt:knowledge in 2753) [ClassicSimilarity], result of:
           0.037667423 = score(doc=2753,freq=1.0), product of:
             0.13595308 = queryWeight, product of:
               2.8415017 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.013491316 = queryNorm
             0.27706194 = fieldWeight in 2753, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.078125 = fieldNorm(doc=2753)
         0.07527286 = weight(abstract_txt:retrieval in 2753) [ClassicSimilarity], result of:
           0.07527286 = score(doc=2753,freq=2.0), product of:
             0.1959707 = queryWeight, product of:
               4.1782517 = boost
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.013491316 = queryNorm
             0.3841026 = fieldWeight in 2753, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.078125 = fieldNorm(doc=2753)
         0.52956843 = weight(abstract_txt:mathematical in 2753) [ClassicSimilarity], result of:
           0.52956843 = score(doc=2753,freq=6.0), product of:
             0.43582225 = queryWeight, product of:
               5.087543 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.013491316 = queryNorm
             1.2151018 = fieldWeight in 2753, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.078125 = fieldNorm(doc=2753)
       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.15170902 = sum of:
     0.15170902 = product of:
       0.32238168 = sum of:
         0.0039403373 = weight(abstract_txt:with in 333) [ClassicSimilarity], result of:
           0.0039403373 = score(doc=333,freq=1.0), product of:
             0.03367621 = queryWeight, product of:
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.013491316 = queryNorm
             0.117006555 = fieldWeight in 333, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.046875 = fieldNorm(doc=333)
         0.019754175 = weight(abstract_txt:both in 333) [ClassicSimilarity], result of:
           0.019754175 = score(doc=333,freq=2.0), product of:
             0.078294314 = queryWeight, product of:
               1.524767 = boost
               3.8060317 = idf(docFreq=2684, maxDocs=44421)
               0.013491316 = queryNorm
             0.25230664 = fieldWeight in 333, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.8060317 = idf(docFreq=2684, maxDocs=44421)
               0.046875 = fieldNorm(doc=333)
         0.02079428 = weight(abstract_txt:present in 333) [ClassicSimilarity], result of:
           0.02079428 = score(doc=333,freq=1.0), product of:
             0.102077544 = queryWeight, product of:
               1.7410189 = boost
               4.3458266 = idf(docFreq=1564, maxDocs=44421)
               0.013491316 = queryNorm
             0.20371062 = fieldWeight in 333, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.3458266 = idf(docFreq=1564, maxDocs=44421)
               0.046875 = fieldNorm(doc=333)
         0.020858694 = weight(abstract_txt:indexing in 333) [ClassicSimilarity], result of:
           0.020858694 = score(doc=333,freq=1.0), product of:
             0.10228823 = queryWeight, product of:
               1.7428148 = boost
               4.3503094 = idf(docFreq=1557, maxDocs=44421)
               0.013491316 = queryNorm
             0.20392075 = fieldWeight in 333, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.3503094 = idf(docFreq=1557, maxDocs=44421)
               0.046875 = fieldNorm(doc=333)
         0.049402483 = weight(abstract_txt:short in 333) [ClassicSimilarity], result of:
           0.049402483 = score(doc=333,freq=1.0), product of:
             0.18174681 = queryWeight, product of:
               2.3231208 = boost
               5.7988343 = idf(docFreq=365, maxDocs=44421)
               0.013491316 = queryNorm
             0.27182037 = fieldWeight in 333, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.7988343 = idf(docFreq=365, maxDocs=44421)
               0.046875 = fieldNorm(doc=333)
         0.022600455 = weight(abstract_txt:knowledge in 333) [ClassicSimilarity], result of:
           0.022600455 = score(doc=333,freq=1.0), product of:
             0.13595308 = queryWeight, product of:
               2.8415017 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.013491316 = queryNorm
             0.16623716 = fieldWeight in 333, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.046875 = fieldNorm(doc=333)
         0.055314023 = weight(abstract_txt:retrieval in 333) [ClassicSimilarity], result of:
           0.055314023 = score(doc=333,freq=3.0), product of:
             0.1959707 = queryWeight, product of:
               4.1782517 = boost
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.013491316 = queryNorm
             0.2822566 = fieldWeight in 333, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.046875 = fieldNorm(doc=333)
         0.12971723 = weight(abstract_txt:mathematical in 333) [ClassicSimilarity], result of:
           0.12971723 = score(doc=333,freq=1.0), product of:
             0.43582225 = queryWeight, product of:
               5.087543 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.013491316 = queryNorm
             0.29763794 = fieldWeight in 333, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.046875 = fieldNorm(doc=333)
       0.47058824 = coord(8/17)