The Hyperreal Dictionary of Mathematics (HDM) project has the
following purpose: the creation of a free and comprehensive
database of mathematics together with tools that enable
efficient interaction with this database.

The current development effort has three foci:

 * designing a LISP-like language for representing mathematical
   things, together with a proof-checker for proofs written in
   this language;

 * developing of a parser that can translate mathematics written
   in natural language into our LISP-like language; and

 * developing a hypertext and metadata system that will be used
   both to edit and browse the HDM, and as the basis of a
   mathematics AI.

                               *

    Contact: http://planetx.cc.vt.edu/AsteroidMeta/HDM

                               *

The contents of this archive are licensed either under the GPL
or the FDL, or sometimes, under your choice of one of these.
Specific terms should be listed in each file, but if not you
can ask and I'll fix things.  See the files GPL and FDL in
this directory for details on your rights & responsiblities
under these licenses, vis a vis copying, distribution,
modification, etc.
                               *

To use the elisp, compile HDM-ELISP-LOADS, and then execute
an appropriately adjusted form like this:

 (load "/path/to/hdm/HDM-ELISP-LOADS")

(Eventually I'll write a makefile...)

                               *

To build all the documentation, run `build-hdm-doc' from the file
./report/hdm-docs.el -- for now, this function must be run
interactively.

                               *

                      Joseph Angus Corneli
                     Minneapolis, Minnesota
                            June, MMV