A mechanically proof-checked encyclopedia of mathematics: Should we build one? Can we?
From MaRDI portal
Publication:5210775
DOI10.1007/3-540-58156-1_17zbMath1433.68588OpenAlexW92896842MaRDI QIDQ5210775
Publication date: 21 January 2020
Published in: Automated Deduction — CADE-12 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-58156-1_17
Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Digital mathematics libraries and repositories (68V35)
This page was built for publication: A mechanically proof-checked encyclopedia of mathematics: Should we build one? Can we?
