Logical Aspects of Digital Mathematics Libraries

unofficial copies [PDF], [PS]

by Stuart F. Allen, James Caldwell, and Robert L. Constable

Proceedings of the First International Workshop on Mathematical Knowledge Management (MKM'01), RISC, A-4232 Schloss Hagenberg, Austria, 2001.

(Extended abstract--presentation originally entitled Interactive Digital Libraries of Formalized Algorithmic Knowledge.)