Sciweavers

5510 search results - page 38 / 1102
» Mathematics
Sort
View
DIS
2007
Springer
15 years 3 months ago
Computational Discovery in Pure Mathematics
Abstract. We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated th...
Simon Colton
MKM
2007
Springer
15 years 3 months ago
Towards Mathematical Knowledge Management for Electrical Engineering
Abstract. We explore mathematical knowledge in the field of electrical engineering and claim that electrical engineering is a suitable area of application for mathematical knowled...
Agnieszka Rowinska-Schwarzweller, Christoph Schwar...
ICDAR
2009
IEEE
14 years 7 months ago
Syntactic Detection and Correction of Misrecognitions in Mathematical OCR
This paper proposes a syntactic method for detection and correction of misrecognized mathematical formulae for a practical mathematical OCR system. Linear monadic context-free tre...
Akio Fujiyoshi, Masakazu Suzuki, Seiichi Uchida
SKG
2006
IEEE
15 years 3 months ago
Mathematics Computing Environment on the Web
With the rapid evolution of web technology and Internet, the mathematical web has emerged as a new research trend, which changes the traditional manner of mathematical scientific ...
Li Liu, Yi Yang, Lian Li
MKM
2004
Springer
15 years 3 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