Building Interactive Digital Libraries of Formal Algorithmic Knowledge
Final rept. 1 May 2001-30 Apr 2004
CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
This is a project to design and create a software system for sharing formal algorithmic mathematics among theorem provers, and for making formal algorithmic mathematics accessible to people who value verified accounts of algorithms. The project is also committed to creating interesting specimens of formally explained algorithms. Our work enables a new approach to CIPSW we call information-intensive infrastructure protection. We describe the rationale for this approach in this report.
- Information Science
- Numerical Mathematics
- Computer Programming and Software