MathAbs: a representational language for mathematics

Authors:
Muhammad Humayoun;Christophe Raffalli
Affiliations:
(LAMA), Université de Savoie, France;(LAMA), Université de Savoie, France
Venue:
Proceedings of the 8th International Conference on Frontiers of Information Technology
Year:
2010

Citing 3
Cited 2

Isar - A Generic Interpretative Approach to Readable Formal Proof Documents

TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Computerizing Mathematical Text with MathLang

Electronic Notes in Theoretical Computer Science (ENTCS)
Validation of Proofs Using PhoX

Electronic Notes in Theoretical Computer Science (ENTCS)

Preprocessing of informal mathematical discourse in context ofcontrolled natural language

Proceedings of the 21st ACM international conference on Information and knowledge management
Building a discourse parser for informal mathematical discourse in the context of a controlled natural language

CICLing'13 Proceedings of the 14th international conference on Computational Linguistics and Intelligent Text Processing - Volume Part I

Quantified Score

Hi-index	0.06

Visualization

Abstract

MathAbs (Mathematical Abstract 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.