AspertiPadovaniSacerdotiCoenSchena01B (In proceedings)

Author(s)  Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen and Irene Schena 
Title  « XML, Stylesheets and the Remathematization of Formal Content » 
In  Proceedings of the Extreme Markup Languages Conference (EXTREME'01) 
Page(s)  1727 
Year  2001 
URL  http://www.di.unito.it/~padovani/Papers/extreme/2001/p0002.pdf 
Abstract 
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 remathematization of the logical, symbolic content of the information, especially in view of their integration with the World Wide Web. In a different work we already discussed the pivotal role that XML (eXtensible Markup Language) technology 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. 
@inproceedings{AspertiPadovaniSacerdotiCoenSchena01B,
booktitle = {Proceedings of the Extreme Markup Languages Conference
(EXTREME'01)},
url = {http://www.di.unito.it/~padovani/Papers/extreme/2001/p0002.pdf},
abstract = { 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 remathematization
of the logical, symbolic content of the information, especially in
view of their integration with the World Wide Web. In a different
work we already discussed the pivotal role that XML (eXtensible
Markup Language) technology 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. },
title = {{XML, Stylesheets and the Remathematization of Formal Content}},
author = {Andrea Asperti and Luca Padovani and Claudio Sacerdoti Coen and
Irene Schena},
pages = {1727},
year = {2001},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)