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.
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.
You can subscribe to it by going to http://lists.nongnu.org/mailman/listinfo/hdm.
The main wiki page for the HDM is http://planetx.cc.vt.edu/AsteroidMeta/HDM.
Copyright (C) 2005 Joe Corneli
This page is maintained by Joe Corneli (jcorneli at math.utexas.edu).