On conceptual changes in computer assisted proofs

DOI10.1484/J.ALMA.5.136768MaRDI QIDQ6589738zbMATH OpenFDO

Authors Favio E. Miranda Perea, Lourdes del Carmen González Huesca

Publication date 20 August 2024

Published in Almagest (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1484/J.ALMA.5.136768

zbMATH Keywords

computer-assisted proofsproof in mathematics

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: On conceptual changes in computer assisted proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6589738)