Fairouz Kamareddine. The Gradual Computerisation of Mathematics in MathLang. In Viorel Negru, Tudor Jebelean, Dana Petcu, Daniela Zaharie, editors, Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007, Timisoara, Romania, September 26-29, 2007. pages 3, IEEE Computer Society, 2007. [doi]
Abstract is missing.