The Naproche system is a system for linguistically analysing and proof-checking mathematical texts written in a controlled natural language. The aim is to have an input language that is as close as possible to the language that mathematicians actually use when writing textbooks or papers. Mathematical texts consist of a combination of natural language and symbolic mathematics, with symbolic mathematics obeying its own syntactic rules. We discuss the difficulties that a program for parsing and disambiguating symbolic mathematics must face and present how these difficulties have been tackled in the Naproche system. One of these difficulties is the fact that information provided in the preceding context - including information provided in natural language - can influence the way a symbolic expression has to be disambiguated. © 2011 Springer-Verlag.
CITATION STYLE
Cramer, M., Koepke, P., & Schröder, B. (2011). Parsing and disambiguation of symbolic mathematics in the naproche system. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6824 LNAI, pp. 180–195). https://doi.org/10.1007/978-3-642-22673-1_13
Mendeley helps you to discover research relevant for your work.