Formalizing Pick's Theorem, efficiently

MaRDI QIDQ7224217arXivFDO

Authors Michael Eisermann

Publication date 2026

Published in arXiv

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Formalization of mathematics in connection with theorem provers (68V20)

arXiv classification

math.GT

This page was built for publication: Formalizing Pick's Theorem, efficiently

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