316 search results - page 1 / 64 » Extraction of Logical Structure from Articles in Mathematics |
MKM
2004
Springer
13 years 10 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 3 months ago
2010
Springer
CIE
2007
Springer
13 years 11 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
13 years 10 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
13 years 6 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