[Savannah-register-public] [task #4253] Submission of Hyperreal Dictionary of Mathematics

[Joseph Corneli]

URL:
  <http://savannah.gnu.org/task/?func=detailitem&item_id=4253>

                 Summary: Submission of Hyperreal Dictionary of Mathematics
                 Project: Savannah Administration
            Submitted by: jcorneli
            Submitted on: Sun 06/12/2005 at 02:33
         Should Start On: Sun 06/12/2005 at 00:00
   Should be Finished on: Wed 06/22/2005 at 00:00
                Category: Project Approval
                Priority: 5 - Normal
                  Status: None
                 Privacy: Public
             Assigned to: None
        Percent Complete: 0%
             Open/Closed: Open
                  Effort: 0.00

    _______________________________________________________

Details:


Site Admin. Approval/Edition URL:
 <https://savannah.gnu.org/admin/groupedit.php?group_id=7709>


###### ORIGINAL SUBMISSION DETAILS ######

System Group Name:
-----------------
  hdm


Full Name:
----------
  Hyperreal Dictionary of Mathematics
  

Type:
-----
  non-GNU software & documentation


License:
-------- 
  GNU General Public License V2 or later


Other License: 
--------------
  


Description:
------------
  The Hyperreal Dictionary of Mathematics (HDM) project has the
following purpose: the creation of a free and comprehensive
database of mathematics together with tools that enable
efficient interaction with this database.

The current development effort has three foci:

 * designing a LISP-like language for representing mathematical
   things, together with a proof-checker for proofs written in
   this language;

 * developing of a parser that can translate mathematics written
   in natural language into our LISP-like language; and

 * developing a hypertext and metadata system that will be used
   both to edit and browse the HDM, and as the basis of a
   mathematics AI.

Wiki: http://planetx.cc.vt.edu/AsteroidMeta/HDM

CVS instructions: http://planetx.cc.vt.edu/AsteroidMeta/HDM_CVS

Lead developer: Joe Corneli <address@hidden>


Other Software Required:
------------------------
  Emacs


Other Comments:
---------------
  

#########################################







    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/task/?func=detailitem&item_id=4253>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/