Formal Mathematical Proof Explanations in Natural Language Using MathML: An Application to Proofs in Arabic

H. Naciri ; L. Rideau

MathML International Conference 2002, Chicago, June 2002.

Download: [HTML]

This page is hosted by the Department of Computer Science, University of Bologna.
Last updated Fri Feb 2 17:12:20 CET 2007.