MathLang: experience-driven development of a new mathematical language

MaRDI QIDQ2847398zbMATH OpenFDO

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

Publication date 9 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104000179

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• Computerizing mathematical text with MathLang
• Mathematical Knowledge Management
• A survey of languages for formalizing mathematics
• Mathematical Knowledge Management
• The features of realization of high level language for mathematical texts specification

Cited in

(8)

• Learning and using mathematics software the natural way
• The features of realization of high level language for mathematical texts specification
• Mathematical Knowledge Management
• Mathematical Knowledge Management
• MathLang
• Using camlp4 for presenting dynamic mathematics on the web
• Computerizing mathematical text with MathLang
• scientific article; zbMATH DE number 3941513 (Why is no real title available?)

Describes a project that uses

Uses Software

• OMDoc
• Automath

This page was built for publication: MathLang: experience-driven development of a new mathematical language

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