<![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 Using Theorema ">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#title">
<META NAME="DC.Creator.PersonalName" CONTENT="Buchberger, Bruno">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#creator">
<META NAME="DC.Subject" CONTENT="mathematical knowledge management and theorem proving">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#subject">
<META NAME="DC.Subject" CONTENT="the Theorema language">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#subject">
<META NAME="DC.Subject" CONTENT="functors">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#subject">
<META NAME="DC.Subject" CONTENT="theory exploration">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#subject">
<META NAME="DC.Subject" CONTENT="complete minimal knowledge ">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#subject">
<META NAME="DC.Subject" CONTENT="formal training and mathematical knowledge management">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#subject">
<META NAME="DC.Description" CONTENT="We describe tools available and planned in the Theorema system for supporting the key issues of mathematical knowledge management: mathematical knowledge retrieval, mathematical knowledge composition, and the formal training of the users and creators of mathematical knowledge.">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#description">
<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="printed material">
<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">
<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="Hagenberg, Austria">
<LINK REL=SCHEMA.dc HREF="http://www.lub.lu.se/EULER/partners/april99-metadatacreator.html">
<META NAME="EULER.Event.Date" SCHEME="ISO8601" CONTENT="2001-9-24">
<LINK REL=SCHEMA.dc HREF="http://www.lub.lu.se/EULER/partners/april99-metadatacreator.html">
<META NAME="EULER.Event.Date" SCHEME="ISO8601" CONTENT="2001-9-25">
<LINK REL=SCHEMA.dc HREF="http://www.lub.lu.se/EULER/partners/april99-metadatacreator.html">
<META NAME="EULER.Event.Date" SCHEME="ISO8601" CONTENT="2001-9-26">
<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 (MKM 2001)">
<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-11-05">
<LINK REL=SCHEMA.dc HREF="http://purl.org/metadata/dublin_core_elements#date">
]]>