首页> 美国政府科技报告 >Building Interactive Digital Libraries of Formal Algorithmic Knowledge

【24h】

Building Interactive Digital Libraries of Formal Algorithmic Knowledge

机译：构建形式算法知识的交互式数字图书馆

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

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 CIP/SW; we call information-intensive infrastructure protection. We describe the rationale for this approach in this report.

著录项

作者
Constable, R. L.;
展开▼
作者单位

展开▼
年度 2004
页码 1-13
总页数 13
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Computer programs; Algorithms; Knowledge based systems; Knowledge management; Verification; Mathematics;

机译：计算机程序;算法;基于知识的系统;知识管理;验证;数学;

相似文献

外文文献
中文文献
专利

1. Building Digital Tobacco Industry Document Libraries at the University of California, San Francisco Library/Center for Knowledge Management [J] . D-lib magazine . 2002,第8期

机译：在加利福尼亚大学旧金山图书馆/知识管理中心建立数字烟草行业文献图书馆
2. Towards a digital library theory: a formal digital library ontology [J] . Marcos Andre Goncalves, Edward A. Fox, Layne T. Watson International journal on digital libraries . 2008,第2期

机译：迈向数字图书馆理论：正式的数字图书馆本体
3. Convergence issues of knowledge management in digital libraries Steps towards state-of-the-art digital libraries [J] . Anwarul Islam, Mitsuru Ikeda VINE . 2014,第1期

机译：数字图书馆知识管理的融合问题迈向最先进的数字图书馆
4. A Knowledge Network Approach for Building Distributed Digital Libraries [C] . Minsoo Lee, Lecture Notes in Computer Science 2911 International Conference on Asian Digital Libraries . 2003

机译：建立分布式数字图书馆的知识网络方法
5. The academic library building in the digital age: A study of new library construction and planning, design, and use of new library space. [D] . Stewart, Christopher. 2009

机译：数字时代的大学图书馆建设：研究新图书馆的建设，规划，设计和新图书馆空间的使用。
6. Formal Medical Knowledge Representation Supports Deep Learning Algorithms Bioinformatics Pipelines Genomics Data Analysis and Big Data Processes [O] . Ferdinand Dhombres, Jean Charlet 2019

机译：正式的医学知识表示支持深度学习算法生物信息学管道基因组学数据分析和大数据过程
7. Building partnerships for African digital libraries: the West African Digital Library Network (WADiLiN) [O] . Brandt Cory, Ndoye Mamadou Lamine 2012

机译：与非洲数字图书馆建立合作伙伴关系：西非数字图书馆网络（WADiLiN）

Building Interactive Digital Libraries of Formal Algorithmic Knowledge

摘要

著录项

相似文献

相关主题

期刊订阅