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

DOI10.1007/978-3-642-15582-6_29zbMATH Open1294.68123OpenAlexW70939740MaRDI QIDQ5747876FDOQ5747876

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

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

Mathematics Subject Classification ID

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

Cited In (5)

• Pick's Theorem via Minkowski's Theorem
• Title not available (Why is that?)
• 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

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)