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.

• 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.

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.