No subject

[Alan Kelm]

Received: from asuka.mt.cs.cmu.edu (ASUKA.MT.CS.CMU.EDU [128.2.178.133])
	by camel.math.ca (8.9.3/8.9.3) with SMTP id PAA46024
	for <webmath at camel.math.ca>; Fri, 23 Aug 2002 15:39:58 -0700 (PDT)
Message-Id: <200208232239.PAA46024 at camel.math.ca>
Received: from asuka.mt.cs.cmu.edu ([127.0.0.1]) by asuka.mt.cs.cmu.edu
          id aa01525; 23 Aug 2002 18:39 EDT
To: categories at mta.ca, formal-methods at cs.uidaho.edu, types at cs.indiana.edu,
        logic at cs.cornell.edu, logic at theory.lcs.mit.edu,
        isabelle-users at cl.cam.ac.uk, qed at mcs.anl.gov, uitp at dcs.gla.ac.uk,
        coq-club at pauillac.inria.fr, ozsl-list at fwi.uva.mlist-0.sp.cs.cmu.edu,
        calculemus-ig at calculemus.net, logic-ml at logic.jaist.ac.jp,
        theorem-provers at ai.mit.edu, ftp at logic.at,
        om-announce at lars.math.fsu.edu, rewriting at ens-lyon.fr,
        omdoc at mathweb.org, www-math at w3.org, webmath at camel.math.ca,
        users at mozart-oz.org, mowgli-dev at cs.unibo.it, mbase at mathweb.org,
        activemath-dev at mathweb.org, namkm at mathweb.org
Reply-to: Michael Kohlhase <kohlhase+ at cs.cmu.edu>
From: Michael Kohlhase <kohlhase+ at cs.cmu.edu>
Subject: [ANN] MBase 0.8 Released (Mathematical Knowledge Base)
Date: Fri, 23 Aug 2002 18:39:54 -0400
Sender: Michael_Kohlhase at asuka.mt.cs.cmu.edu


          [Apologies for multiple copies]


We are pleased to announce the first official release of 

      The MBase Mathematical Knowledge Base 

MBase 0.8 is available from the MBase web page:
 
           http://www.mathweb.org/mbase/


The MBase system is distributed under the GNU General Public License,
binary distributions are provided for Linux and Solaris. 
An online demo is can be found at

           http://mbase.mathweb.org:8080/

Version 0.8 is the first official release of the system. It should be 
considered as alpha quality code.  


ABOUT MBASE

The MBase system is an ongoing development of a web-based knowledge base of
formalized mathematics (collections of definitions, theorems, or proofs).  The
system specializes an SQL-based database system for mathematical structures in
the document format OMDoc [1], which is an XML language.

Primary applications of MBase are deduction systems, mathematical assistants,
content presentation systems, and learning environments, which can interact with
MBase via the MathWeb system, an implementation of a mathematical software bus for
distributed theorem proving and symbolic computation [2].  


MAJOR FEATURES

-- import & export OMDoc content [1]
-- object persistence by standard SQL database system back-end
-- pattern-searching (e.g.... search for statements of commutativity)
-- web browser interface 
-- xml-rpc interface for software clients
-- multi-platform support (Linux, Solaris, MacOS X)

PLANNED FEATURES (contact us if you want to help)

-- distributed cross-referencing and caching
-- content versioning management

Comments, suggestions or bug reports are welcomed and should be
directed to the MBase development team <mbase at mathweb.org>.

Have fun,
  The MBase Team
  (Andreas Franke, Michael Kohlhase, Markus Moschner)

---

[1] http://www.mathweb.org/omdoc
[2] http://www.mathweb.org/mathweb

-----------------------------------------------------------------
WebMath at mail.math.ca - WebMath Mailing List
To unsubscribe:
via Web:     http://camel.math.ca/cgi-bin/wcms/webmath.pl
via e-mail:  send message a to majordomo at mail.math.ca with
"unsubscribe webmath" in the BODY of message
List Archives: http://camel.math.ca/mail/webmath/
-----------------------------------------------------------------