2
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      The Theorem Prover Museum -- Conserving the System Heritage of Automated Reasoning

      Preprint

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          We present the Theorem Prover Museum, and initiative to conserve -- and make publicly available -- the sources and source-related artefacts of automated reasoning systems. Theorem provers have been at the forefront of Artificial Intelligence, stretching the limits of computation, and incubating many innovations we take for granted today. Without the systems themselves as preserved cultural artefacts, future historians will have difficulties to study the history of science and engineering in our discipline.

          Related collections

          Author and article information

          Journal
          23 April 2019
          Article
          1904.10414
          c1a0b1ec-e9e0-4b9a-adf8-5501356e9882

          http://creativecommons.org/licenses/by-sa/4.0/

          History
          Custom metadata
          cs.LO

          Theoretical computer science
          Theoretical computer science

          Comments

          Comment on this article