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 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..

Richard Fateman

More information about the Om mailing list