Document (#43669)

Author

Aizawa, A.
Kohlhase, M.

Title

Mathematical information retrieval

Source

Evaluating information retrieval and access tasks. Eds.: Sakai, T., Oard, D., Kando, N. [https://doi.org/10.1007/978-981-15-5554-1_12]

Imprint

Singapore : Springer

Year

2021

Pages

S.169-185

Series

¬The Information retrieval series, vol 43

Abstract

We present an overview of the NTCIR Math Tasks organized during NTCIR-10, 11, and 12. These tasks are primarily dedicated to techniques for searching mathematical content with formula expressions. In this chapter, we first summarize the task design and introduce test collections generated in the tasks. We also describe the features and main challenges of mathematical information retrieval systems and discuss future perspectives in the field.

Content

Vgl.: https://doi.org/10.1007/978-981-15-5554-1_12.

Theme

Computerlinguistik
Wissensrepräsentation

Field

Mathematik

Similar documents (content)

1. Stathopoulos, Y.; Baker, S.; Rei, M.; Teufel, S.: Variable typing : assigning meaning to variables in mathematical text (2018) 0.26

   0.26253262 = sum of:
     0.26253262 = product of:
       0.93761647 = sum of:
         0.011141541 = weight(abstract_txt:information in 432) [ClassicSimilarity], result of:
           0.011141541 = score(doc=432,freq=2.0), product of:
             0.04168909 = queryWeight, product of:
               1.0483385 = boost
               2.4188995 = idf(docFreq=10748, maxDocs=44421)
               0.016440047 = queryNorm
             0.26725316 = fieldWeight in 432, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4188995 = idf(docFreq=10748, maxDocs=44421)
               0.078125 = fieldNorm(doc=432)
         0.04647091 = weight(abstract_txt:task in 432) [ClassicSimilarity], result of:
           0.04647091 = score(doc=432,freq=2.0), product of:
             0.08573728 = queryWeight, product of:
               1.0630659 = boost
               4.9057617 = idf(docFreq=893, maxDocs=44421)
               0.016440047 = queryNorm
             0.5420152 = fieldWeight in 432, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.9057617 = idf(docFreq=893, maxDocs=44421)
               0.078125 = fieldNorm(doc=432)
         0.08996732 = weight(abstract_txt:introduce in 432) [ClassicSimilarity], result of:
           0.08996732 = score(doc=432,freq=2.0), product of:
             0.13317992 = queryWeight, product of:
               1.3249354 = boost
               6.114219 = idf(docFreq=266, maxDocs=44421)
               0.016440047 = queryNorm
             0.67553216 = fieldWeight in 432, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.114219 = idf(docFreq=266, maxDocs=44421)
               0.078125 = fieldNorm(doc=432)
         0.02338856 = weight(abstract_txt:retrieval in 432) [ClassicSimilarity], result of:
           0.02338856 = score(doc=432,freq=1.0), product of:
             0.0861135 = queryWeight, product of:
               1.506697 = boost
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.016440047 = queryNorm
             0.27160156 = fieldWeight in 432, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.078125 = fieldNorm(doc=432)
         0.1744209 = weight(abstract_txt:formula in 432) [ClassicSimilarity], result of:
           0.1744209 = score(doc=432,freq=2.0), product of:
             0.20706876 = queryWeight, product of:
               1.6520859 = boost
               7.62393 = idf(docFreq=58, maxDocs=44421)
               0.016440047 = queryNorm
             0.8423332 = fieldWeight in 432, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.62393 = idf(docFreq=58, maxDocs=44421)
               0.078125 = fieldNorm(doc=432)
         0.11426449 = weight(abstract_txt:tasks in 432) [ClassicSimilarity], result of:
           0.11426449 = score(doc=432,freq=1.0), product of:
             0.28381816 = queryWeight, product of:
               3.3500867 = boost
               5.1532483 = idf(docFreq=697, maxDocs=44421)
               0.016440047 = queryNorm
             0.40259752 = fieldWeight in 432, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.1532483 = idf(docFreq=697, maxDocs=44421)
               0.078125 = fieldNorm(doc=432)
         0.47796276 = weight(abstract_txt:mathematical in 432) [ClassicSimilarity], result of:
           0.47796276 = score(doc=432,freq=5.0), product of:
             0.43089557 = queryWeight, product of:
               4.1278315 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.016440047 = queryNorm
             1.1092311 = fieldWeight in 432, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.078125 = fieldNorm(doc=432)
       0.28 = coord(7/25)
   

2. Fujita, S.: Technology survey and invalidity search : a comparative study of different tasks for Japanese patent document retrieval (2007) 0.16

   0.16269226 = sum of:
     0.16269226 = product of:
       0.8134613 = sum of:
         0.034619965 = weight(abstract_txt:collections in 1918) [ClassicSimilarity], result of:
           0.034619965 = score(doc=1918,freq=1.0), product of:
             0.07861206 = queryWeight, product of:
               1.0179347 = boost
               4.6974936 = idf(docFreq=1100, maxDocs=44421)
               0.016440047 = queryNorm
             0.44039002 = fieldWeight in 1918, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.6974936 = idf(docFreq=1100, maxDocs=44421)
               0.09375 = fieldNorm(doc=1918)
         0.04291181 = weight(abstract_txt:test in 1918) [ClassicSimilarity], result of:
           0.04291181 = score(doc=1918,freq=1.0), product of:
             0.09071016 = queryWeight, product of:
               1.093461 = boost
               5.046027 = idf(docFreq=776, maxDocs=44421)
               0.016440047 = queryNorm
             0.47306505 = fieldWeight in 1918, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.046027 = idf(docFreq=776, maxDocs=44421)
               0.09375 = fieldNorm(doc=1918)
         0.056132548 = weight(abstract_txt:retrieval in 1918) [ClassicSimilarity], result of:
           0.056132548 = score(doc=1918,freq=4.0), product of:
             0.0861135 = queryWeight, product of:
               1.506697 = boost
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.016440047 = queryNorm
             0.6518438 = fieldWeight in 1918, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.09375 = fieldNorm(doc=1918)
         0.19391327 = weight(abstract_txt:tasks in 1918) [ClassicSimilarity], result of:
           0.19391327 = score(doc=1918,freq=2.0), product of:
             0.28381816 = queryWeight, product of:
               3.3500867 = boost
               5.1532483 = idf(docFreq=697, maxDocs=44421)
               0.016440047 = queryNorm
             0.68323064 = fieldWeight in 1918, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.1532483 = idf(docFreq=697, maxDocs=44421)
               0.09375 = fieldNorm(doc=1918)
         0.4858837 = weight(abstract_txt:ntcir in 1918) [ClassicSimilarity], result of:
           0.4858837 = score(doc=1918,freq=1.0), product of:
             0.57628363 = queryWeight, product of:
               3.8977005 = boost
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.016440047 = queryNorm
             0.8431329 = fieldWeight in 1918, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.09375 = fieldNorm(doc=1918)
       0.2 = coord(5/25)
   

3. Kang, I.-S.; Na, S.-H.; Kim, J.; Lee, J.-H.: Cluster-based patent retrieval (2007) 0.15

   0.1497255 = sum of:
     0.1497255 = product of:
       0.62385625 = sum of:
         0.010916436 = weight(abstract_txt:information in 1930) [ClassicSimilarity], result of:
           0.010916436 = score(doc=1930,freq=3.0), product of:
             0.04168909 = queryWeight, product of:
               1.0483385 = boost
               2.4188995 = idf(docFreq=10748, maxDocs=44421)
               0.016440047 = queryNorm
             0.26185355 = fieldWeight in 1930, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               2.4188995 = idf(docFreq=10748, maxDocs=44421)
               0.0625 = fieldNorm(doc=1930)
         0.026287917 = weight(abstract_txt:task in 1930) [ClassicSimilarity], result of:
           0.026287917 = score(doc=1930,freq=1.0), product of:
             0.08573728 = queryWeight, product of:
               1.0630659 = boost
               4.9057617 = idf(docFreq=893, maxDocs=44421)
               0.016440047 = queryNorm
             0.3066101 = fieldWeight in 1930, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.9057617 = idf(docFreq=893, maxDocs=44421)
               0.0625 = fieldNorm(doc=1930)
         0.028607871 = weight(abstract_txt:test in 1930) [ClassicSimilarity], result of:
           0.028607871 = score(doc=1930,freq=1.0), product of:
             0.09071016 = queryWeight, product of:
               1.093461 = boost
               5.046027 = idf(docFreq=776, maxDocs=44421)
               0.016440047 = queryNorm
             0.3153767 = fieldWeight in 1930, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.046027 = idf(docFreq=776, maxDocs=44421)
               0.0625 = fieldNorm(doc=1930)
         0.04702621 = weight(abstract_txt:organized in 1930) [ClassicSimilarity], result of:
           0.04702621 = score(doc=1930,freq=1.0), product of:
             0.12634525 = queryWeight, product of:
               1.2904904 = boost
               5.9552646 = idf(docFreq=312, maxDocs=44421)
               0.016440047 = queryNorm
             0.37220404 = fieldWeight in 1930, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.9552646 = idf(docFreq=312, maxDocs=44421)
               0.0625 = fieldNorm(doc=1930)
         0.05292227 = weight(abstract_txt:retrieval in 1930) [ClassicSimilarity], result of:
           0.05292227 = score(doc=1930,freq=8.0), product of:
             0.0861135 = queryWeight, product of:
               1.506697 = boost
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.016440047 = queryNorm
             0.6145642 = fieldWeight in 1930, product of:
               2.828427 = tf(freq=8.0), with freq of:
                 8.0 = termFreq=8.0
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.0625 = fieldNorm(doc=1930)
         0.45809552 = weight(abstract_txt:ntcir in 1930) [ClassicSimilarity], result of:
           0.45809552 = score(doc=1930,freq=2.0), product of:
             0.57628363 = queryWeight, product of:
               3.8977005 = boost
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.016440047 = queryNorm
             0.7949133 = fieldWeight in 1930, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.0625 = fieldNorm(doc=1930)
       0.24 = coord(6/25)
   

4. Fife, E.D.; Husch, L.: ¬The Mathematics Archives : making mathematics easy to find on the Web (1999) 0.14

   0.14418958 = sum of:
     0.14418958 = product of:
       0.6007899 = sum of:
         0.023079978 = weight(abstract_txt:collections in 2239) [ClassicSimilarity], result of:
           0.023079978 = score(doc=2239,freq=1.0), product of:
             0.07861206 = queryWeight, product of:
               1.0179347 = boost
               4.6974936 = idf(docFreq=1100, maxDocs=44421)
               0.016440047 = queryNorm
             0.29359335 = fieldWeight in 2239, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.6974936 = idf(docFreq=1100, maxDocs=44421)
               0.0625 = fieldNorm(doc=2239)
         0.0063026077 = weight(abstract_txt:information in 2239) [ClassicSimilarity], result of:
           0.0063026077 = score(doc=2239,freq=1.0), product of:
             0.04168909 = queryWeight, product of:
               1.0483385 = boost
               2.4188995 = idf(docFreq=10748, maxDocs=44421)
               0.016440047 = queryNorm
             0.15118122 = fieldWeight in 2239, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4188995 = idf(docFreq=10748, maxDocs=44421)
               0.0625 = fieldNorm(doc=2239)
         0.04702621 = weight(abstract_txt:organized in 2239) [ClassicSimilarity], result of:
           0.04702621 = score(doc=2239,freq=1.0), product of:
             0.12634525 = queryWeight, product of:
               1.2904904 = boost
               5.9552646 = idf(docFreq=312, maxDocs=44421)
               0.016440047 = queryNorm
             0.37220404 = fieldWeight in 2239, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.9552646 = idf(docFreq=312, maxDocs=44421)
               0.0625 = fieldNorm(doc=2239)
         0.05185237 = weight(abstract_txt:primarily in 2239) [ClassicSimilarity], result of:
           0.05185237 = score(doc=2239,freq=1.0), product of:
             0.13484804 = queryWeight, product of:
               1.3332072 = boost
               6.1523914 = idf(docFreq=256, maxDocs=44421)
               0.016440047 = queryNorm
             0.38452446 = fieldWeight in 2239, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1523914 = idf(docFreq=256, maxDocs=44421)
               0.0625 = fieldNorm(doc=2239)
         0.13052641 = weight(abstract_txt:math in 2239) [ClassicSimilarity], result of:
           0.13052641 = score(doc=2239,freq=1.0), product of:
             0.24953483 = queryWeight, product of:
               1.8135976 = boost
               8.369263 = idf(docFreq=27, maxDocs=44421)
               0.016440047 = queryNorm
             0.5230789 = fieldWeight in 2239, 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=2239)
         0.3420023 = weight(abstract_txt:mathematical in 2239) [ClassicSimilarity], result of:
           0.3420023 = score(doc=2239,freq=4.0), product of:
             0.43089557 = queryWeight, product of:
               4.1278315 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.016440047 = queryNorm
             0.7937012 = fieldWeight in 2239, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.0625 = fieldNorm(doc=2239)
       0.24 = coord(6/25)
   

5. Fujita, S.: NTCIR-2 as a Rosetta stone in laboratory experiments of IR systems (2005) 0.14

   0.14252384 = sum of:
     0.14252384 = product of:
       0.7126192 = sum of:
         0.04080002 = weight(abstract_txt:collections in 2017) [ClassicSimilarity], result of:
           0.04080002 = score(doc=2017,freq=2.0), product of:
             0.07861206 = queryWeight, product of:
               1.0179347 = boost
               4.6974936 = idf(docFreq=1100, maxDocs=44421)
               0.016440047 = queryNorm
             0.5190046 = fieldWeight in 2017, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.6974936 = idf(docFreq=1100, maxDocs=44421)
               0.078125 = fieldNorm(doc=2017)
         0.011141541 = weight(abstract_txt:information in 2017) [ClassicSimilarity], result of:
           0.011141541 = score(doc=2017,freq=2.0), product of:
             0.04168909 = queryWeight, product of:
               1.0483385 = boost
               2.4188995 = idf(docFreq=10748, maxDocs=44421)
               0.016440047 = queryNorm
             0.26725316 = fieldWeight in 2017, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4188995 = idf(docFreq=10748, maxDocs=44421)
               0.078125 = fieldNorm(doc=2017)
         0.03575984 = weight(abstract_txt:test in 2017) [ClassicSimilarity], result of:
           0.03575984 = score(doc=2017,freq=1.0), product of:
             0.09071016 = queryWeight, product of:
               1.093461 = boost
               5.046027 = idf(docFreq=776, maxDocs=44421)
               0.016440047 = queryNorm
             0.3942209 = fieldWeight in 2017, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.046027 = idf(docFreq=776, maxDocs=44421)
               0.078125 = fieldNorm(doc=2017)
         0.052298415 = weight(abstract_txt:retrieval in 2017) [ClassicSimilarity], result of:
           0.052298415 = score(doc=2017,freq=5.0), product of:
             0.0861135 = queryWeight, product of:
               1.506697 = boost
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.016440047 = queryNorm
             0.6073196 = fieldWeight in 2017, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.078125 = fieldNorm(doc=2017)
         0.5726194 = weight(abstract_txt:ntcir in 2017) [ClassicSimilarity], result of:
           0.5726194 = score(doc=2017,freq=2.0), product of:
             0.57628363 = queryWeight, product of:
               3.8977005 = boost
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.016440047 = queryNorm
             0.9936416 = fieldWeight in 2017, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.078125 = fieldNorm(doc=2017)
       0.2 = coord(5/25)