Accession Number:

ADA426580

Title:

Building Interactive Digital Libraries of Formal Algorithmic Knowledge

Descriptive Note:

Final rept. 1 May 2001-30 Apr 2004

Corporate Author:

CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

2004-09-23

Pagination or Media Count:

13.0

Abstract:

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.

Subject Categories:

  • Information Science
  • Numerical Mathematics
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE