MathCaffeine: the web-based library of algebraic definitions and results
by
Alexei Vernitski
Middlesex University, London, UK

TEX and MathML are publishing systems and they describe the presentation of mathematical papers rather than their meaning. As opposed to them, MathCaffeine is the specialized computer system for storing mathematical definitions and results, and its functionality is based on full parsing of the structure of definitions and results. MathCaffeine involves the following aspects: (1) Entering definitions and results in a special Smalltalk-like code so that the computer can parse all the elements of input; (2) Storing definitions and results in a web-based database; (3) Presenting the definitions and results on a web site in a form of a cross-referenced dictionary. MathCaffeine can be found at the address www.cs.mdx.ac.uk/staffpages/alexei/mcf/

Date received: May 21, 2000

Copyright © 2000 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caee-48.