@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,
              two-dimensional 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 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 Re-mathematization of Formal Content}},
  author = {Andrea Asperti and Luca Padovani and Claudio Sacerdoti Coen and
            Irene Schena},
  pages = {17-27},
  year = {2001},
}

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)