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.21398094 = sum of:
      0.21398094 = product of:
        0.6062793 = sum of:
          0.008053556 = weight(abstract_txt:with in 3250) [ClassicSimilarity], result of:
            0.008053556 = score(doc=3250,freq=1.0), product of:
              0.03412132 = queryWeight, product of:
                2.5176222 = idf(docFreq=9369, maxDocs=42740)
                0.0135529945 = queryNorm
              0.23602709 = fieldWeight in 3250, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.5176222 = idf(docFreq=9369, maxDocs=42740)
                0.09375 = fieldNorm(doc=3250)
          0.039938025 = weight(abstract_txt:problems in 3250) [ClassicSimilarity], result of:
            0.039938025 = score(doc=3250,freq=1.0), product of:
              0.09922591 = queryWeight, product of:
                1.7052954 = boost
                4.2932897 = idf(docFreq=1586, maxDocs=42740)
                0.0135529945 = queryNorm
              0.40249592 = fieldWeight in 3250, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.2932897 = idf(docFreq=1586, maxDocs=42740)
                0.09375 = fieldNorm(doc=3250)
          0.05835986 = weight(abstract_txt:indexing in 3250) [ClassicSimilarity], result of:
            0.05835986 = score(doc=3250,freq=2.0), product of:
              0.10141454 = queryWeight, product of:
                1.7239997 = boost
                4.34038 = idf(docFreq=1513, maxDocs=42740)
                0.0135529945 = queryNorm
              0.5754585 = fieldWeight in 3250, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.34038 = idf(docFreq=1513, maxDocs=42740)
                0.09375 = fieldNorm(doc=3250)
          0.04677867 = weight(abstract_txt:techniques in 3250) [ClassicSimilarity], result of:
            0.04677867 = score(doc=3250,freq=1.0), product of:
              0.11025526 = queryWeight, product of:
                1.7975738 = boost
                4.525612 = idf(docFreq=1257, maxDocs=42740)
                0.0135529945 = queryNorm
              0.4242761 = fieldWeight in 3250, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.525612 = idf(docFreq=1257, maxDocs=42740)
                0.09375 = fieldNorm(doc=3250)
          0.3901736 = weight(abstract_txt:recurring in 3250) [ClassicSimilarity], result of:
            0.3901736 = score(doc=3250,freq=1.0), product of:
              0.45346034 = queryWeight, product of:
                3.645497 = boost
                9.177984 = idf(docFreq=11, maxDocs=42740)
                0.0135529945 = queryNorm
              0.860436 = fieldWeight in 3250, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.177984 = idf(docFreq=11, maxDocs=42740)
                0.09375 = fieldNorm(doc=3250)
          0.06297558 = weight(abstract_txt:retrieval in 3250) [ClassicSimilarity], result of:
            0.06297558 = score(doc=3250,freq=1.0), product of:
              0.19387534 = queryWeight, product of:
                4.128659 = boost
                3.4648013 = idf(docFreq=3633, maxDocs=42740)
                0.0135529945 = queryNorm
              0.3248251 = fieldWeight in 3250, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.4648013 = idf(docFreq=3633, maxDocs=42740)
                0.09375 = fieldNorm(doc=3250)
        0.3529412 = coord(6/17)
    
  2. Dominich, S.; Kiezer, T.: ¬A measure theoretic approach to information retrieval (2007) 0.16
    0.15680501 = sum of:
      0.15680501 = product of:
        0.533137 = sum of:
          0.006643845 = weight(abstract_txt:with in 2446) [ClassicSimilarity], result of:
            0.006643845 = score(doc=2446,freq=2.0), product of:
              0.03412132 = queryWeight, product of:
                2.5176222 = idf(docFreq=9369, maxDocs=42740)
                0.0135529945 = queryNorm
              0.19471242 = fieldWeight in 2446, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                2.5176222 = idf(docFreq=9369, maxDocs=42740)
                0.0546875 = fieldNorm(doc=2446)
          0.024072217 = weight(abstract_txt:indexing in 2446) [ClassicSimilarity], result of:
            0.024072217 = score(doc=2446,freq=1.0), product of:
              0.10141454 = queryWeight, product of:
                1.7239997 = boost
                4.34038 = idf(docFreq=1513, maxDocs=42740)
                0.0135529945 = queryNorm
              0.23736455 = fieldWeight in 2446, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.34038 = idf(docFreq=1513, maxDocs=42740)
                0.0546875 = fieldNorm(doc=2446)
          0.024693165 = weight(abstract_txt:present in 2446) [ClassicSimilarity], result of:
            0.024693165 = score(doc=2446,freq=1.0), product of:
              0.103151135 = queryWeight, product of:
                1.7386978 = boost
                4.377384 = idf(docFreq=1458, maxDocs=42740)
                0.0135529945 = queryNorm
              0.2393882 = fieldWeight in 2446, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.377384 = idf(docFreq=1458, maxDocs=42740)
                0.0546875 = fieldNorm(doc=2446)
          0.11020727 = weight(abstract_txt:retrieval in 2446) [ClassicSimilarity], result of:
            0.11020727 = score(doc=2446,freq=9.0), product of:
              0.19387534 = queryWeight, product of:
                4.128659 = boost
                3.4648013 = idf(docFreq=3633, maxDocs=42740)
                0.0135529945 = queryNorm
              0.56844395 = fieldWeight in 2446, product of:
                3.0 = tf(freq=9.0), with freq of:
                  9.0 = termFreq=9.0
                3.4648013 = idf(docFreq=3633, maxDocs=42740)
                0.0546875 = fieldNorm(doc=2446)
          0.3675205 = weight(abstract_txt:mathematical in 2446) [ClassicSimilarity], result of:
            0.3675205 = score(doc=2446,freq=6.0), product of:
              0.43274975 = queryWeight, product of:
                5.036403 = boost
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.0135529945 = queryNorm
              0.849268 = fieldWeight in 2446, product of:
                2.4494898 = tf(freq=6.0), with freq of:
                  6.0 = termFreq=6.0
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.0546875 = fieldNorm(doc=2446)
        0.29411766 = coord(5/17)
    
  3. Dominich, S.: Mathematical foundations of information retrieval (2001) 0.15
    0.15173157 = sum of:
      0.15173157 = product of:
        0.64485914 = sum of:
          0.0067112963 = weight(abstract_txt:with in 3754) [ClassicSimilarity], result of:
            0.0067112963 = score(doc=3754,freq=1.0), product of:
              0.03412132 = queryWeight, product of:
                2.5176222 = idf(docFreq=9369, maxDocs=42740)
                0.0135529945 = queryNorm
              0.19668923 = fieldWeight in 3754, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.5176222 = idf(docFreq=9369, maxDocs=42740)
                0.078125 = fieldNorm(doc=3754)
          0.038901117 = weight(abstract_txt:knowledge in 3754) [ClassicSimilarity], result of:
            0.038901117 = score(doc=3754,freq=1.0), product of:
              0.13872017 = queryWeight, product of:
                2.8514903 = boost
                3.5894876 = idf(docFreq=3207, maxDocs=42740)
                0.0135529945 = queryNorm
              0.2804287 = fieldWeight in 3754, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.5894876 = idf(docFreq=3207, maxDocs=42740)
                0.078125 = fieldNorm(doc=3754)
          0.07421744 = weight(abstract_txt:retrieval in 3754) [ClassicSimilarity], result of:
            0.07421744 = score(doc=3754,freq=2.0), product of:
              0.19387534 = queryWeight, product of:
                4.128659 = boost
                3.4648013 = idf(docFreq=3633, maxDocs=42740)
                0.0135529945 = queryNorm
              0.3828101 = fieldWeight in 3754, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.4648013 = idf(docFreq=3633, maxDocs=42740)
                0.078125 = fieldNorm(doc=3754)
          0.5250293 = weight(abstract_txt:mathematical in 3754) [ClassicSimilarity], result of:
            0.5250293 = score(doc=3754,freq=6.0), product of:
              0.43274975 = queryWeight, product of:
                5.036403 = boost
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.0135529945 = queryNorm
              1.21324 = fieldWeight in 3754, product of:
                2.4494898 = tf(freq=6.0), with freq of:
                  6.0 = termFreq=6.0
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.078125 = fieldNorm(doc=3754)
        0.23529412 = coord(4/17)
    
  4. Belew, R.K.: Finding out about : a cognitive perspective on search engine technology and the WWW (2001) 0.15
    0.15145524 = sum of:
      0.15145524 = product of:
        0.32184237 = sum of:
          0.004026778 = weight(abstract_txt:with in 347) [ClassicSimilarity], result of:
            0.004026778 = score(doc=347,freq=1.0), product of:
              0.03412132 = queryWeight, product of:
                2.5176222 = idf(docFreq=9369, maxDocs=42740)
                0.0135529945 = queryNorm
              0.118013546 = fieldWeight in 347, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.5176222 = idf(docFreq=9369, maxDocs=42740)
                0.046875 = fieldNorm(doc=347)
          0.019951355 = weight(abstract_txt:both in 347) [ClassicSimilarity], result of:
            0.019951355 = score(doc=347,freq=2.0), product of:
              0.07870923 = queryWeight, product of:
                1.5187976 = boost
                3.8237588 = idf(docFreq=2537, maxDocs=42740)
                0.0135529945 = queryNorm
              0.25348178 = fieldWeight in 347, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.8237588 = idf(docFreq=2537, maxDocs=42740)
                0.046875 = fieldNorm(doc=347)
          0.020633329 = weight(abstract_txt:indexing in 347) [ClassicSimilarity], result of:
            0.020633329 = score(doc=347,freq=1.0), product of:
              0.10141454 = queryWeight, product of:
                1.7239997 = boost
                4.34038 = idf(docFreq=1513, maxDocs=42740)
                0.0135529945 = queryNorm
              0.20345533 = fieldWeight in 347, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.34038 = idf(docFreq=1513, maxDocs=42740)
                0.046875 = fieldNorm(doc=347)
          0.02116557 = weight(abstract_txt:present in 347) [ClassicSimilarity], result of:
            0.02116557 = score(doc=347,freq=1.0), product of:
              0.103151135 = queryWeight, product of:
                1.7386978 = boost
                4.377384 = idf(docFreq=1458, maxDocs=42740)
                0.0135529945 = queryNorm
              0.20518988 = fieldWeight in 347, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.377384 = idf(docFreq=1458, maxDocs=42740)
                0.046875 = fieldNorm(doc=347)
          0.04958082 = weight(abstract_txt:short in 347) [ClassicSimilarity], result of:
            0.04958082 = score(doc=347,freq=1.0), product of:
              0.18194069 = queryWeight, product of:
                2.3091493 = boost
                5.8135657 = idf(docFreq=346, maxDocs=42740)
                0.0135529945 = queryNorm
              0.2725109 = fieldWeight in 347, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.8135657 = idf(docFreq=346, maxDocs=42740)
                0.046875 = fieldNorm(doc=347)
          0.023340672 = weight(abstract_txt:knowledge in 347) [ClassicSimilarity], result of:
            0.023340672 = score(doc=347,freq=1.0), product of:
              0.13872017 = queryWeight, product of:
                2.8514903 = boost
                3.5894876 = idf(docFreq=3207, maxDocs=42740)
                0.0135529945 = queryNorm
              0.16825724 = fieldWeight in 347, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.5894876 = idf(docFreq=3207, maxDocs=42740)
                0.046875 = fieldNorm(doc=347)
          0.05453845 = weight(abstract_txt:retrieval in 347) [ClassicSimilarity], result of:
            0.05453845 = score(doc=347,freq=3.0), product of:
              0.19387534 = queryWeight, product of:
                4.128659 = boost
                3.4648013 = idf(docFreq=3633, maxDocs=42740)
                0.0135529945 = queryNorm
              0.2813068 = fieldWeight in 347, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.4648013 = idf(docFreq=3633, maxDocs=42740)
                0.046875 = fieldNorm(doc=347)
          0.1286054 = weight(abstract_txt:mathematical in 347) [ClassicSimilarity], result of:
            0.1286054 = score(doc=347,freq=1.0), product of:
              0.43274975 = queryWeight, product of:
                5.036403 = boost
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.0135529945 = queryNorm
              0.2971819 = fieldWeight in 347, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.046875 = fieldNorm(doc=347)
        0.47058824 = coord(8/17)
    
  5. Broughton, V.: Structural, linguistic and mathematical elements in indexing languages and search engines : implications for the use of index languages in electronic and non-LIS environments (2000) 0.15
    0.15019199 = sum of:
      0.15019199 = product of:
        0.42554396 = sum of:
          0.015006914 = weight(abstract_txt:with in 1097) [ClassicSimilarity], result of:
            0.015006914 = score(doc=1097,freq=5.0), product of:
              0.03412132 = queryWeight, product of:
                2.5176222 = idf(docFreq=9369, maxDocs=42740)
                0.0135529945 = queryNorm
              0.43981048 = fieldWeight in 1097, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                2.5176222 = idf(docFreq=9369, maxDocs=42740)
                0.078125 = fieldNorm(doc=1097)
          0.023512898 = weight(abstract_txt:both in 1097) [ClassicSimilarity], result of:
            0.023512898 = score(doc=1097,freq=1.0), product of:
              0.07870923 = queryWeight, product of:
                1.5187976 = boost
                3.8237588 = idf(docFreq=2537, maxDocs=42740)
                0.0135529945 = queryNorm
              0.29873115 = fieldWeight in 1097, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.8237588 = idf(docFreq=2537, maxDocs=42740)
                0.078125 = fieldNorm(doc=1097)
          0.059563287 = weight(abstract_txt:indexing in 1097) [ClassicSimilarity], result of:
            0.059563287 = score(doc=1097,freq=3.0), product of:
              0.10141454 = queryWeight, product of:
                1.7239997 = boost
                4.34038 = idf(docFreq=1513, maxDocs=42740)
                0.0135529945 = queryNorm
              0.5873249 = fieldWeight in 1097, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.34038 = idf(docFreq=1513, maxDocs=42740)
                0.078125 = fieldNorm(doc=1097)
          0.038901117 = weight(abstract_txt:knowledge in 1097) [ClassicSimilarity], result of:
            0.038901117 = score(doc=1097,freq=1.0), product of:
              0.13872017 = queryWeight, product of:
                2.8514903 = boost
                3.5894876 = idf(docFreq=3207, maxDocs=42740)
                0.0135529945 = queryNorm
              0.2804287 = fieldWeight in 1097, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.5894876 = idf(docFreq=3207, maxDocs=42740)
                0.078125 = fieldNorm(doc=1097)
          0.07421744 = weight(abstract_txt:retrieval in 1097) [ClassicSimilarity], result of:
            0.07421744 = score(doc=1097,freq=2.0), product of:
              0.19387534 = queryWeight, product of:
                4.128659 = boost
                3.4648013 = idf(docFreq=3633, maxDocs=42740)
                0.0135529945 = queryNorm
              0.3828101 = fieldWeight in 1097, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.4648013 = idf(docFreq=3633, maxDocs=42740)
                0.078125 = fieldNorm(doc=1097)
          0.21434231 = weight(abstract_txt:mathematical in 1097) [ClassicSimilarity], result of:
            0.21434231 = score(doc=1097,freq=1.0), product of:
              0.43274975 = queryWeight, product of:
                5.036403 = boost
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.0135529945 = queryNorm
              0.49530315 = fieldWeight in 1097, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.078125 = fieldNorm(doc=1097)
        0.3529412 = coord(6/17)