RE: [Axiom-developer] A possible "navigation" approach for Axiom "crystal"

[Page, Bill]

In

  http://mail.gnu.org/archive/html/axiom-developer/2004-04/msg00015.html

I wrote about the possibility of using math-enabled interactive web page
server (wiki) such as

  http://mcelrath.org/Notes/LatexWiki

as a means to host Axiom documentation, code and mathematical articles. Here
are some examples of two other existing systems which already contain a lot
of useful mathematical documentation

  http://planetmath.org/

"PlanetMath is a virtual community which aims to help make mathematical
knowledge more accessible. PlanetMath's content is created collaboratively:
the main feature is the mathematics encyclopaedia with entries written and
reviewed by members. The entries are contributed under the terms of the GNU
Free Documentation License (FDL) in order to preserve the rights of both the
authors and readers in a sensible way.

..."

For example

  http://planetmath.org/encyclopedia/CategoryTheory.html

planetmath has direct support for LaTeX.

------

  http://en.wikipedia.org/wiki/Mathematics

"Main Page
>From Wikipedia, the free encyclopaedia. 

Welcome to Wikipedia! We are building an open-content encyclopaedia in many
languages. We started in January 2001 and are now working on 246334 articles
in the English version. Join us! Visit the Community Portal or try out the
sandbox to find out how you can edit any article right now.  

... "

Although wikipedia is more general than just mathematics, it seems to have
rather good coverage of some advanced subjects in mathematics. For example

  http://en.wikipedia.org/wiki/Enriched_category

-------

What I envisage is a large set of fully cross-referenced web pages such as
these with one or more pages for each of the algebra modules (packages,
domains and categories) within Axiom. But in addition the SPAD code itself
would be accessible and editable in this same manner. The code would be
accessible to a 'make' process that could build an operational Axiom system.
Additional documentation pages would include both description text as well
as executable Axiom code illustrating the concepts. Finally, it should also
be possible to prepare complete mathematical articles online which include
Axiom to calculations. All of these pages would be accessible by external
URLs for reference purposes.

This sort of environment scales very well from a single user system running
a simple wiki web server plus Axiom to a large shared installation with high
performance web server and multiple high speed processors running Axiom.

Regards,
Bill Page.