Search (2 results, page 1 of 1)

  • × theme_ss:"Computerlinguistik"
  • × theme_ss:"Wissensrepräsentation"
  • × type_ss:"el"
  • × year_i:[2020 TO 2030}
  1. Collard, J.; Paiva, V. de; Fong, B.; Subrahmanian, E.: Extracting mathematical concepts from text (2022) 0.00 
    0.0020823204 = product of:
  0.012493922 = sum of:
    0.012493922 = weight(_text_:in in 668) [ClassicSimilarity], result of:
      0.012493922 = score(doc=668,freq=8.0), product of:
        0.059380736 = queryWeight, product of:
          1.3602545 = idf(docFreq=30841, maxDocs=44218)
          0.043654136 = queryNorm
        0.21040362 = fieldWeight in 668, product of:
          2.828427 = tf(freq=8.0), with freq of:
            8.0 = termFreq=8.0
          1.3602545 = idf(docFreq=30841, maxDocs=44218)
          0.0546875 = fieldNorm(doc=668)
  0.16666667 = coord(1/6)
    Abstract
    We investigate different systems for extracting mathematical entities from English texts in the mathematical field of category theory as a first step for constructing a mathematical knowledge graph. We consider four different term extractors and compare their results. This small experiment showcases some of the issues with the construction and evaluation of terms extracted from noisy domain text. We also make available two open corpora in research mathematics, in particular in category theory: a small corpus of 755 abstracts from the journal TAC (3188 sentences), and a larger corpus from the nLab community wiki (15,000 sentences).
  2. Aizawa, A.; Kohlhase, M.: Mathematical information retrieval (2021) 0.00 
    0.0018033426 = product of:
  0.010820055 = sum of:
    0.010820055 = weight(_text_:in in 667) [ClassicSimilarity], result of:
      0.010820055 = score(doc=667,freq=6.0), product of:
        0.059380736 = queryWeight, product of:
          1.3602545 = idf(docFreq=30841, maxDocs=44218)
          0.043654136 = queryNorm
        0.1822149 = fieldWeight in 667, product of:
          2.4494898 = tf(freq=6.0), with freq of:
            6.0 = termFreq=6.0
          1.3602545 = idf(docFreq=30841, maxDocs=44218)
          0.0546875 = fieldNorm(doc=667)
  0.16666667 = coord(1/6)
    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.

Authors