Sciweavers

ENTCS
2008
137views more  ENTCS 2008»
13 years 11 months ago
Computerizing Mathematical Text with MathLang
Mathematical texts can be computerized in many ways that capture differing amounts of the mathematical meaning. At one end, there is document imaging, which captures the arrangeme...
Fairouz Kamareddine, J. B. Wells
ISTA
2004
14 years 8 days ago
Evidential Paradigm and Intelligent Mathematical Text Processing
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...
Alexander V. Lyaletski, Anatoly E. Doroshenko, And...
MKM
2005
Springer
14 years 4 months ago
Toward an Object-Oriented Structure for Mathematical Text
ion with nouns and adjectives Syntax and type system Future works and conclusion Toward an Object-Oriented Structure for Mathematical Text Fairouz Kamareddine, Manuel Maarek and Jo...
Fairouz Kamareddine, Manuel Maarek, J. B. Wells