Equidecomposable Quadratic Regions

DOI10.1007/978-3-540-77356-6_2zbMath1195.68104OpenAlexW2114219790MaRDI QIDQ5453482

Thomas C. Hales

Publication date: 1 April 2008

Published in: Automated Deduction in Geometry (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-77356-6_2

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Polyhedra and polytopes; regular figures, division of spaces (51M20) Length, area and volume in real or complex geometry (51M25)

Uses Software

• Flyspeck
• kepler98

This page was built for publication: Equidecomposable Quadratic Regions