316 search results - page 1 / 64 » Extraction of Logical Structure from Articles in Mathematics |
MKM
2004
Springer
14 years 4 months ago
2004
Springer
We propose a mathematical knowledge browser which helps people to read mathematical documents. By the browser printed mathematical documents can be scanned and recognized by OCR (O...
CIKM
2010
Springer
13 years 9 months ago
2010
Springer
CIE
2007
Springer
14 years 5 months ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
MKM
2004
Springer
14 years 4 months ago
2004
Springer
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
DAS
2010
Springer
14 years 1 months ago
2010
Springer
Automated extraction of bibliographic information from journal articles is key to the affordable creation and maintenance of citation databases, such as MEDLINE