Restoring Natural Language as a Computerised Mathematics Input Method

DOI10.1007/978-3-540-73086-6_23zbMath1202.68383OpenAlexW1597680427MaRDI QIDQ5428277

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

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)

Related Items (2)

MathLang Translation to Isabelle Syntax ⋮ Computerizing Mathematical Text with MathLang

Uses Software

• Isar
• Mizar

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