the QED manifesto
Richard J. Fateman
fateman at CS.Berkeley.EDU
Thu May 8 19:00:33 CEST 1997
I suspect that some people involved in openmath and dlib-math
should be at least aware of the QED manifesto, available via
http://www.mcs.anl.gov:80/qed which purports to be a project to build
a single computerized repository of all important mathematics.
Among other requirements for this to succeed would be a
representation of mathematical statements, proofs, etc. that
could be standardized.
There are lengthy logs of on-line mail, and reports
on two conferences, one at Argonne Labs and the most
recent one in Warsaw, 1995.
To me, at least, this activity represents yet another thread,
one that explicitly mentions computer algebra and publishing.
Make your own judgments..
More information about the Om