Mathematical Knowledge Management

DOI10.1007/11618027zbMATH Open1151.68664OpenAlexW2480281325MaRDI QIDQ5898522FDOQ5898522

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

Recommendations

• Computerizing mathematical text with MathLang
• MathLang: experience-driven development of a new mathematical language
• Mathematical Knowledge Management
• The features of realization of high level language for mathematical texts specification
• New Developments in Parsing Mizar

Mathematics Subject Classification ID

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

Cited In (5)

• \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
• MathLang Translation to Isabelle Syntax
• The features of realization of high level language for mathematical texts specification
• Mathematical Knowledge Management
• Computerizing mathematical text with MathLang

Uses Software

• Coq
• Mizar
• Automath
• LaTeX

This page was built for publication: Mathematical Knowledge Management

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