Building Interactive Digital Libraries of Formal Algorithmic Knowledge |
|
Building Interactive Digital Libraries of Formal Algorithmic Knowledge |
|
|
| FDL Search Shell FDL Webservice FDL Search Client |
| Helm displays of Nuprl Standard Library |
|
Logical Aspects of Digital Mathematics Libraries Stuart Allen, James Caldwell, and Robert Constable. Presented on September 24 at the First International Workshop on Mathematical Knowledge Management RISC, A-4232 Schloss Hagenberg, Austria. September 24-26, 2001 (postscript) (pdf) |
|
Slides from MKM talk (postscript) (pdf) |
|
MKM 2003 |
|
Representing Nuprl Proof Objects in ACL2: toward a proof checker for Nuprl
James Caldwell and John Cowles. Presented at Third International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2002) (postscript) (pdf) |
|
Slides from ACL workshop talk (postscript) (pdf) |
| May 2002 ONR Review Project slides from Cornell Project slides from Wyoming |
| December 2002 Stanford Talk slides given by Lori Lorigo |