MathAbs: a representational language for mathematics
2010
MathAbs ( Math ematical Abs tract language) is a system independent formal language for mathematical texts that can preserve its structure including the line of reasoning, proof steps and logical structure. By system independent, we mean that its formalism is not based on any specific logic, theory or proof assistant. MathAbs is intended only for machine manipulation and it is part of a system called MathNat[6], which provides a controlled language to write mathematical texts found in textbooks and published work. Here, MathAbs is used as an intermediary between the natural language of the mathematician and the formal language of the logician. We give here a detailed account of MathAbs, its justification, formal definition and semantics.
Keywords:
- Specification language
- Formal system
- Natural language processing
- Object language
- Picture language
- Universal Networking Language
- Formal semantics (linguistics)
- Language identification in the limit
- Computer science
- Algorithm
- Recursive language
- Artificial intelligence
- Context-sensitive language
- Formal grammar
- Programming language
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
14
References
9
Citations
NaN
KQI