<![CDATA[
<!-- For best results, you should include the HTML-coded -->
<!-- metadata that you find further down the page -->
<!-- (below the line) in the <HEAD></HEAD>-tag of your -->
<!-- page. This will simplify correct indexing by robots. -->
<!-- ---------------------------------------------------- -->
<META NAME="DC.Title" CONTENT="Mathematical Knowledge Management in HELM">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#title">
<META NAME="DC.Creator.PersonalName" CONTENT="Asperti,Andrea">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#creator">
<META NAME="DC.Creator.2" CONTENT="Padovani,Luca">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#creator">
<META NAME="DC.Creator.3" CONTENT="Sacerdoti Coen,Claudio">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#creator">
<META NAME="DC.Creator.4" CONTENT="Guidi,Ferruccio">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#creator">
<META NAME="DC.Creator.5" CONTENT="Schena,Irene">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#creator">
<META NAME="DC.Subject" CONTENT="Mathematical Knowledge Management">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#subject">
<META NAME="DC.Subject" CONTENT="Proof Assistants">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#subject">
<META NAME="DC.Subject" CONTENT="MathML">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#subject">
<META NAME="DC.Subject" CONTENT="Digital Libraries">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#subject">
<META NAME="DC.Subject" SCHEME="CCS" CONTENT="F.4.1 Mathematical Logic">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#subject">
<META NAME="DC.Subject" SCHEME="CCS" CONTENT="I.2.4 Knowledge Representation Formalisms and Methods">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#subject">
<META NAME="DC.Description" CONTENT="The paper describes the general philosophy and the main architectural and technological solutions of the HELM Project for the management of large repositories of formal mathematical knowledge. The lait-motif is the extensive usage of XML-technology, and the exploitation in the "Web-way", that is without central authority, with few basic rules, in a scalable, adaptable and extensible manner.">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#description">
<META NAME="DC.Publisher" CONTENT="Research Institute for Symbolic Computation RISC-Linz">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#publisher">
<META NAME="DC.Date" SCHEME="ISO8601" CONTENT="2001-11-01">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#date">
<META NAME="DC.Type" CONTENT="Text.Article">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#type">
<META NAME="DC.Format" SCHEME="IMT" CONTENT="application/postscript">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#format">
<LINK REL=SCHEMA.imt HREF="http://sunsite.auc.dk/RFC/rfc/rfc2046.html">
<META NAME="DC.Format.X-Carrier" CONTENT="file">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#format">
<META NAME="DC.Identifier" SCHEME="URL" CONTENT="http://www.risc.uni-linz.ac.at/conferences/MKM2001/Proceedings/asperti.ps">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#identifier">
<META NAME="DC.Language" SCHEME="ISO639-1" CONTENT="en">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#language">
<META NAME="EULER.Event.Location" CONTENT="Research Institute for Symbolic Computation RISC-Linz">
<LINK REL=SCHEMA.dc HREF="http://www.lub.lu.se/EULER/partners/april99-metadatacreator.html">
<META NAME="EULER.Event.Date" SCHEME="ISO8601" CONTENT="2001-09-24">
<LINK REL=SCHEMA.dc HREF="http://www.lub.lu.se/EULER/partners/april99-metadatacreator.html">
<META NAME="EULER.Event.Name" CONTENT="First International Workshop on Mathematical Knowledge Management">
<LINK REL=SCHEMA.dc HREF="http://www.lub.lu.se/EULER/partners/april99-metadatacreator.html">
<META NAME="DC.Date.X-MetadataLastModified" SCHEME="ISO8601" CONTENT="2001-10-29">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#date">
]]>