E-mail: web@matracas.org

- MathGate.info

Chad E. Brown, 2008-01-22It has some interactive content about set theory, built on the fly from an underlaying formal representation. From it you get a natural-language view of the theorems, proofs, etc., and can do exercises to test your knowledge about that content, like in this example about set union. There you can change the names of the variables so that it's easier for you to read ("Modify Variable Names"), view the background you need to know to understand this theorem ("Show Background"), and take a fill-in-the-blanks exercise ("Test").

It's interesting that you can pick your own variable names and the program will accept a correct answer even if those names are different from the ones displayed before (this is technically called "equivalence modulo alpha-conversion").

- Omdoc, a good way of encoding mathematical documents so that they are machine-readable (sometimes described with the Psychology term "semantic encoding").
- Approaches to WWW Mathematics Documents.

Ian Hutchinson, 1999-05-17. - Mathematical Expressions on the WWW.

Ka-Ping Yee, 1996-06-22.The page for the MINSE project, from 1996-06-22. As of 2001-02-10 still works. Consist of what its creator, Ka-Ping Yee, calls a "polymediator", a server program that generates the html source from an ASCII document written in its own math markup language, which can be retrieved by the application from another servers. Formulas are rendered as inline images.

- The disappointment and embarrasment of MathML.

Tomas Cool, 2000-04-16.A reaction to the publication of MathML 2.0. Advocates the use of Mathematica's ASCII input language instead of markup languages such as MathML. Even if you, as me, think SGML-esque markup languages are The One True Way, you should read the entire document. He makes some very good points.

In particular, the idea that refusing to use Mathematica's notation is an implicit agreement on WRI's alleged ownership of it, while he affirms that its just traditional math notation put in ASCII, and thus nobody can claim its possesion. On the mockmma incident, Prof. Richard J. Fateman says in mma.mailer (It's a text file) that "WRI's initial legal concern with the availability of an alternative 'Mathematica' parser seems to have faded.".

- A critique of OpenMath.

Prof. Richard J. Fateman, 2001-01-17.Among other things, says that OpenMath doesn't address the hard problems in encoding maths, and what it does can already be done with many other proven techniques, such as LISP for the semantics and TeX for the presentation.

Prof. Fateman also has some opinion on MINSE: http://www.openmath.org/archive/om/msg00111.html.

- GELLMU (Generalized Extensible LaTeX-Like Markup).

William F. Hammond, 2001-02-01.A processor that generates a variety of formats from a LaTeX-like ASCII document.

There is a note that I find specially interesting, about getting meaning from legacy TeX/LaTeX expressions. Prof. Fateman and Eylon Caspi also have a document (1999-08-04) where they explain their experiences in getting Macsyma expressions from TeX markup.

- Earliest uses of various mathematical symbols.

Jeff Miller et. al., 2000-12-16Where many math symbols came from.

- Natural math.

Stephen Montgomery-Smith, 1999-04-06.A program that generates LaTeX expressions from ASCII text written in a format resembling speech.

- STIX project home page.

2002-06-24From the website:

The mission of the Scientific and Technical Information Exchange (STIX) font creation project is the preparation of a comprehensive set of fonts that serve the scientific and engineering community in the process from manuscript creation through final publication, both in electronic and print formats. Toward this purpose, the STIX fonts will be made available, under royalty-free license, to anyone, including publishers, software developers, scientists, students, and the general public.

About the old web page:

2000-10-19.

The aim of this project seems to be to help create a set of fonts for mathematical symbols. This contains a catalogue of math glyphs, with equivalences between different encodings. - The slow evolution of electronic publishing.

Andrew Odlyzko, 1997.Abstract: "How will scholarly publishing evolve? The history of other technological innovations suggests the shift to electronic publications will be rapid, but fundamental changes in the nature of scholarly communications will be much slower."

The technology is here, but the mentality isn't.

Other interesting papers from him:

- The rapid evolution of scholarly communication.

Andrew Odlyzko, 2000-03-19. - Electronics and the future of education.

Andrew Odlyzko, 2000. - Computer algebra and its implications.

Andrew Odlyzko, 1996. - The future of scientific communication.

Andrew Odlyzko, 2000. - Tragic loss or good riddance? The impending demise of traditional scholarly journals.

Andrew Odlyzko, 1995.There is a complementary update to this, published in 1996 in the Euromath Bulletin, titled "On the road to electronic publishing".

- The rapid evolution of scholarly communication.
- Draft outline notes from MSRI conference on the future of mathematical communication.

1999-12-05.