Building Interactive Digital Libraries of Formal Algorithmic Knowledge.

摘要

This report summarizes the conceptual basis and the first prototype of an Interactive Digital Library of Formal Algorithmic Knowledge. The key purpose of the prototype library is to demonstrate that it is possible to organize formal knowledge that is necessary for the development of reliable hardware and software and to provide software tools for using it in a variety of ways.