Hyperreal Dictionary of Mathematics - Summary
This group is not part of the GNU Project.
Some topics are best introduced with a question. I like to introduce
the HDM this way. What is the Hyperreal Dictionary of Mathematics?
The answer is sort of complicated, but a summary could go like this.
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.
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 volunteer help, with coding and teaching the computer
about 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.
Registration Date: Sun 12 Jun 2005 02:30:40 AM UTC
License: GNU General Public License v2 or later
Development Status: 3 - Alpha




- Browse open items
Submit a new item

- Browse open items
Submit a new item
Powered by Savane 3.14-ee00.
Corresponding source code