[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Savannah-register-public] [task #4253] Submission of Hyperreal Dictiona
From: |
Joseph Corneli |
Subject: |
[Savannah-register-public] [task #4253] Submission of Hyperreal Dictionary of Mathematics |
Date: |
Sun, 12 Jun 2005 02:33:20 +0000 |
User-agent: |
Lynx/2.8.4rel.1 libwww-FM/2.14 SSL-MM/1.4.1 OpenSSL/0.9.7d |
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/
- [Savannah-register-public] [task #4253] Submission of Hyperreal Dictionary of Mathematics,
Joseph Corneli <=