Mathematical Knowledge Management

DOI10.1007/11618027MaRDI QIDQ5898522zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(6)

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

Describes a project that uses

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)