定理证明器博物馆——保存自动化推理的系统遗产
计算机科学中的逻辑
2019-04-24 v1
摘要
我们介绍定理证明器博物馆，这是一项旨在保存并公开自动化推理系统的源代码及与源代码相关制品的倡议。定理证明器一直处于人工智能的前沿，不断拓展计算的极限，并孕育了许多如今我们习以为常的创新。若无这些作为被保存文化制品的系统本身，未来的历史学家将难以研究本学科的科学与工程历史。
引用
@article{arxiv.1904.10414,
title = {The Theorem Prover Museum -- Conserving the System Heritage of Automated Reasoning},
author = {Michael Kohlhase},
journal= {arXiv preprint arXiv:1904.10414},
year = {2019}
}