hdm logo1 hdm logo2

hdm: math without boundaries

What is the Hyperreal Dictionary of Mathematics?

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


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.

Mailing Lists

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