Restoring Natural Language as a Computerised Mathematics Input Method

DOI10.1007/978-3-540-73086-6_23MaRDI QIDQ5428277zbMATH OpenOpenAlexFDO

Authors Fairouz Kamareddine, Robert Lamar, Manuel Maarek, J. B. Wells

Publication date 28 November 2007

Published in Towards Mechanized Mathematical Assistants (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73086-6_23

Mathematics Subject Classification ID

Natural language processing (68T50) Computing methodologies for text processing; mathematical typography (68U15)

Recommendations

• Computerizing mathematical text with MathLang
• Learning and using mathematics software the natural way
• Linear input methods for mathematical formula
• scientific article; zbMATH DE number 1254305
• Math-Literate Computers

Cited in

(4)

• Learning and using mathematics software the natural way
• Computerizing mathematical text with MathLang
• MathLang Translation to Isabelle Syntax
• Linear input methods for mathematical formula

Describes a project that uses

Uses Software

• Isar
• Mizar

This page was built for publication: Restoring Natural Language as a Computerised Mathematics Input Method

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5428277)