| AspertiPadovaniSacerdotiCoenGuidiSchena03 (Article)
|
| Author(s) | Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi and Irene Schena |
| Title | « Mathematical Knowledge Management in HELM » |
| Journal | Annals of Mathematics and Artificial Intelligence |
| Volume | 38 |
| Number | 1-3 |
| Page(s) | 27-46 |
| Year | 2003 |
| ISSN number | 1012-2443 |
| URL | http://www.di.unito.it/~padovani/Papers/amai_mkm_2001.ps.gz |
| Abstract |
| The paper describes the general philosophy and the main architectural and technological solutions adopted in the HELM Project for the management of large repositories of mathematical knowledge. The leitmotiv is the extensive use of XML technology, and the exploitation of information in the "Web way", that is without a central authority, with few basic rules, in a scalable, adaptable, and extensible manner. |
@article{AspertiPadovaniSacerdotiCoenGuidiSchena03,
number = {1-3},
volume = {38},
issn = {1012-2443},
author = {Andrea Asperti and Luca Padovani and Claudio Sacerdoti Coen and
Ferruccio Guidi and Irene Schena},
url = {http://www.di.unito.it/~padovani/Papers/amai_mkm_2001.ps.gz},
abstract = { The paper describes the general philosophy and the main
architectural and technological solutions adopted in the HELM
Project for the management of large repositories of mathematical
knowledge. The leitmotiv is the extensive use of XML technology,
and the exploitation of information in the "Web way", that is
without a central authority, with few basic rules, in a scalable,
adaptable, and extensible manner. },
title = {{Mathematical Knowledge Management in HELM}},
publisher = {Kluwer Academic Publishers},
journal = {Annals of Mathematics and Artificial Intelligence},
doi = {10.1023/A:1022907629104},
pages = {27-46},
year = {2003},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
