A formal proof of Pick's theorem (extended abstract)

DOI10.1007/978-3-642-15582-6_29MaRDI QIDQ5747876zbMATH OpenOpenAlexFDO

Authors

Publication date 14 September 2010

Published in Mathematical Software – ICMS 2010 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15582-6_29

Mathematics Subject Classification ID

Lattice points in specified regions (11P21) Nonconvex bodies (11H16)

Recommendations

• A formal proof of Pick's theorem
• scientific article; zbMATH DE number 830057
• scientific article; zbMATH DE number 4184298
• scientific article; zbMATH DE number 2166153
• An Exploration of Pick's Theorem in Space

Cited in

(5)

• Pick's Theorem via Minkowski's Theorem
• scientific article; zbMATH DE number 761873 (Why is no real title available?)
• A formalization of the Knuth-Bendix(-Huet) critical pair theorem
• An Exploration of Pick's Theorem in Space
• A formal proof of Pick's theorem

Describes a project that uses

Uses Software

• HOL Light

This page was built for publication: A formal proof of Pick's theorem (extended abstract)

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