MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces

Luca Padovani

• Ph.D. Student
• Member of Math-WG

e-mail: lpadovan at cs dot unibo dot it

Home Page: http://www.cs.unibo.it/~lpadovan

Address: Dipartimento di Scienze dell'Informazione, Mura Anteo Zamboni 7, Bologna, Italy

Telephone number: +39 51 20 94 871

Selected Publications:

• XML, Stylesheets and the re-mathematization of Formal Content
• HELM and the semantic Math-Web
• Formal Mathematics on the Web
• Formal Mathematics in MathML

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