MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces
Formal Mathematical Proof Explanations in Natural Language Using MathML: An Application to Proofs in Arabic
MathML International Conference 2002, Chicago, June 2002.
This page is hosted by the
Department of Computer Science
University of Bologna
Fri Feb 2 17:12:29 CET 2007