hdm: math without boundaries

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. But it doesn't exist yet.

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 volunteers to help with coding and with teaching the computer how to do 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.

Thu Jul 7 11:12:40 2005

- Initial import to Savannah (stole ratpoison webpage)

The current development version is 0.4-pre-alpha1 and can be downloaded here.

The files are also available via anonymous CVS, go to
https://savannah.nongnu.org/cvs/?group=hdm for more information. The module to check out is **hdm**.

The HDM project has a miscellaneous mailing list for discussion and development.

You can subscribe to it by going to http://lists.nongnu.org/mailman/listinfo/hdm.

The HDM project shares part of the
AsteroidMeta
wiki.

The main wiki page for the HDM is http://planetx.cc.vt.edu/AsteroidMeta/HDM.

Savannah provides some additional development tools on our project page.

Copyright (C) 2005 Joe Corneli
*This page is maintained by Joe Corneli (jcorneli at math.utexas.edu).*