MathLang

swMATH21356MaRDI QIDQ33164FDOQ33164

Author name not available (Why is that?)

Described by source

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

Cited In (3)

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

This page was built for software: MathLang