Extending numeric automation for number theory formalizations in Mizar

DOI10.1007/978-3-031-42753-4_23OpenAlexW4386297760MaRDI QIDQ6118848

Adam Naumowicz

Publication date: 28 February 2024

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-42753-4_23

zbMATH Keywords

Mizarnumeric computationbuilt-in knowledgenumber theory formalization

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Dataset description: formalization of elementary number theory in Mizar
• Elementary number theory problems. I
• Elementary number theory problems. II
• Mathematical Knowledge Management

This page was built for publication: Extending numeric automation for number theory formalizations in Mizar