Paper Info
Title
MathAbs: a representational language for mathematics
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.
Year
DOI
Venue
2010
10.1145/1943628.1943665
FIT
Keywords
Field
DocType
representational language,mathematical abstract language,proof step,controlled language,mathematical text,formal definition,logical structure,natural language,proof assistant,formal language,system independent formal language,high performance computing
Specification language,Formal system,Formal semantics (linguistics),Context-sensitive language,Programming language,Computer science,Object language,Universal Networking Language,Formal grammar,Picture language
Conference
Citations 
PageRank 
References 
4
0.46
4
Authors
2
Name
Order
Citations
PageRank
Muhammad Humayoun192.88
Christophe Raffalli2295.55