Sciweavers

SEMWIKI
2008
134views Data Mining» more  SEMWIKI 2008»
13 years 6 months ago
A Real Semantic Web for Mathematics Deserves a Real Semantics
Abstract. Mathematical documents, and their instrumentation by computers, have rich structure at the layers of presentation, metadata and semantics, as objects in a system for form...
Cezary Kaliszyk, Pierre Corbineau, Freek Wiedijk, ...
DOCENG
2003
ACM
13 years 9 months ago
INFTY: an integrated OCR system for mathematical documents
An integrated OCR system for mathematical documents, called INFTY, is presented. INFTY consists of four procedures, i.e., layout analysis, character recognition, structure analysi...
Masakazu Suzuki, Fumikazu Tamari, Ryoji Fukuda, Se...
MKM
2004
Springer
13 years 10 months ago
Extraction of Logical Structure from Articles in Mathematics
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...
Koji Nakagawa, Akihiro Nomura, Masakazu Suzuki
MKM
2005
Springer
13 years 10 months ago
Determining Empirical Characteristics of Mathematical Expression Use
Abstract. Many processes in mathematical computing try to use knowledge of the most desired forms of mathematical expressions. This occurs, for example, in symbolic computation sys...
Clare M. So, Stephen M. Watt
MKM
2007
Springer
13 years 10 months ago
Narrative Structure of Mathematical Texts
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
Fairouz Kamareddine, Manuel Maarek, Krzysztof Rete...