首页 | 本学科首页   官方微博 | 高级检索  
     


Mathematical Knowledge Management in HELM
Authors:Andrea Asperti  Luca Padovani  Claudio Sacerdoti Coen  Ferruccio Guidi  Irene Schena
Affiliation:(1) Department of Computer Science, University of Bologna, Mura Anteo Zamboni 7, 40127 Bologna, Italy
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 ldquoWeb wayrdquo, that is without a central authority, with few basic rules, in a scalable, adaptable, and extensible manner.
Keywords:mathematical knowledge management  XML  HELM  formal mathematics  XSLT  MathML  Coq
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号