mainHyperreal Dictionary of Mathematics - Summary

 
 
Membership Info
Group Admin:
3 active members

Group identification
Id: 7709
System Name: hdm
Name: Hyperreal Dictionary of Mathematics
Group Type: non-GNU software and documentation

Search in this Group


 

This group is not part of the GNU Project.

Some topics are best introduced with a question.  I like to introduce
the HDM this way.  What is the Hyperreal Dictionary of Mathematics?
The answer is sort of complicated, but a summary could go like this.

The HDM is an electronic reference work that contains all extant
mathematics, in both human- and computer-friendly forms.  Together
with this mathematical content come mathematical processes, from
tutors to researchers.  The HDM is a simulation of mathematics.

How can such a thing come to be?  We need modern computing
infrastructure and free software; we have these.  We need parsers,
theorem provers, and artificial intelligence; we're working on these.
We also need volunteer help, with coding and teaching the computer
about math.  We've tried to set things up in such a way that you can
get benefits from working on the HDM project, not just from the end
result.

Registration Date: Sun 12 Jun 2005 02:30:40 AM UTC
License: GNU General Public License v2 or later
Development Status: 3 - Alpha

 

Latest News rss feed

No news found

Quick Overview
 Memberlist (3 members)

Communication Tools
 Mailing Lists (1 public mailing list)

Development Tools
 Task Manager (open items: 0, total: 0)
 Patch Manager (open items: 0, total: 0)

Back to the top

Powered by Savane 3.13-caa5.
Corresponding source code