XML, Stylesheets and the Re-mathematization of Formal Content
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena · 2001
An important part of the descriptive power of mathematics derives from its ability to represent formal concepts in a highly evolved, twodimensional system of symbolic notations. Tools for the mechanisation of mathematics and the automation of formal reasoning must eventually face the problem of re-mathematization of the logical, symbolic content of the information, especially in view of their integration with the World Wide Web. In a different work [APSS00c ], we already discussed the pivotal role that XML (eXtensible Markup Language) technology [XML ] is likely to play in such an integration. In this paper, we focus on the problem of (Web) publishing, advocating the use of XSL (eXtensible Stylesheet Language) Transformations, in conjunction with MathML (Mathematical Markup Language), as a standard, application independent and modular way for associating notation to formal mathematical content. KEYWORDS XML; MathML; XSLT; Formal Mathematics; Web Publishing; Proof Rendering; Natural Language Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, and Irene Schena 18 Extreme Markup Languages 2001 1