MathLang

MaRDI QIDQ33164swMATHFDO

Official website http://www.sciencedirect.com/science/article/pii/S1571066104000179

Described by source

• MathLang: experience-driven development of a new mathematical language

Cited in

(3)

• Proceedings of the mathematical knowledge management symposium, Edinburgh, UKNEWLINENovember 25--29, 2003
• Mathematical Knowledge Management
• Computerizing mathematical text with MathLang

This page was built for software: MathLang