Fairouz Kamareddine, Manuel Maarek, J. B. Wells. Flexible Encoding of Mathematics on the Computer. In Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec, editors, Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings. Volume 3119 of Lecture Notes in Computer Science, pages 160-174, Springer, 2004. [doi]
Abstract is missing.