Mathematical Knowledge Management

DOI10.1007/11618027zbMath1151.68664OpenAlexW2480281325MaRDI QIDQ5898522

J. B. Wells, Manuel Maarek, Fairouz Kamareddine

Publication date: 12 February 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11618027

Mathematics Subject Classification ID

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

Related Items (3)

MathLang Translation to Isabelle Syntax ⋮ Computerizing Mathematical Text with MathLang ⋮ PlatΩ: A Mediator between Text-Editors and Proof Assistance Systems

Uses Software

• Coq
• Mizar
• Automath
• LaTeX

This page was built for publication: Mathematical Knowledge Management