Mathlang: Experience-driven development of a new mathematical language (2004)

by Fairouz Kamareddine, Manuel Maarek, J B Wells
Venue:In Proc. [MKMNET] Mathematical Knowledge Management Symposium, volume 93 of ENTCS