This is a series of pages devoted to the idea of an 'encylopedia of mathematics' encompassing all both 'pure' mathematics and that used elsewhere.
The advertisement - What it might be and why you might care.
Fortunately, many people have thought of such a system in the past. Some are currently working either directly towards such a system, or on components which might eventually contribute to an encylopedia.
Categorised links related to an EM
A suggestion for the steps involved in realising such a system
Some random thoughts related to this
Back to homepage