Dataset description: formalization of elementary number theory in Mizar
From MaRDI portal
Publication:2219414
DOI10.1007/978-3-030-53518-6_22zbMath1455.68259OpenAlexW3042429209MaRDI QIDQ2219414
Publication date: 20 January 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-53518-6_22
Formalization of mathematics in connection with theorem provers (68V20) Number theory (educational aspects) (97F60) Technological tools, calculators (aspects of mathematics education) (97U70) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (7)
Elementary number theory problems. VII ⋮ Elementary number theory problems. VIII ⋮ Extending numeric automation for number theory formalizations in Mizar ⋮ Elementary number theory problems. III ⋮ Elementary number theory problems. IV ⋮ Elementary number theory problems. V ⋮ Elementary number theory problems. VI
Uses Software
This page was built for publication: Dataset description: formalization of elementary number theory in Mizar
