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

(9)

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

Describes a project that uses

Uses Software

• Automath
• OMDoc

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)