E-mail: web@matr
E-mail: web@matrTiene algo de contenido interactivo sobre teoría de conjuntos, construído sobre la marcha a partir de una representación formal. De ella se obtiene una vista en lenguage natural de los teoremas, pruebas, etc., y se pueden hacer ejercicios para comprobar tu conocimiento del contenido, como en este ejemplo sobre unión de conjuntos. Ahí puedes cambiar los nombres de las variables para que te resulte más fácil de leer ("Modify Variable Names"), ver lo que necesitas saber para entender este teorema ("Show Background"), y hacer un ejercicio de rellenar las casillas ("Test").
Es interesante que puedas elegir tus propios nombres de variable y el programa aceptará una respuesta correcta incluso si esos nombres son diferentes de los mostrados anteriormente (es lo que se llama "equivalencia módulo conversión alfa").
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.
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.".
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.
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.
Where many math symbols came from.
A program that generates LaTeX expressions from ASCII text written in a format resembling speech.
From 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.
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:
There is a complementary update to this, published in 1996 in the Euromath Bulletin, titled "On the road to electronic publishing".