Equidecomposable Quadratic Regions

  • Thomas C. Hales
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4869)


This article describes an algorithm that decides whether a region in three dimensions, described by quadratic constraints, is equidecomposable with a collection of primitive regions. When a decomposition exists, the algorithm finds the volume of the given region. Applications to the ‘Flyspeck’ project are discussed.


Irreducible Component Boundary Curve Great Circle Tangent Plane Rigid Motion 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Basu, S., Pollack, R., Roy, M.-F.: Algorithms in real algebraic geometry. In: Algorithms and Computation in Mathematics, Second edition, vol. 10, Springer, Berlin (2006)Google Scholar
  2. 2.
    Berberich, E.: Exact Arrangements of Quadric Intersection Curves, Master’s thesis, Saarbrücken (2004)Google Scholar
  3. 3.
    Ferguson, S., Hales, T.: The Kepler Conjecture. Disc. and Comp. Geom. 36(1), 1–269 (2006)CrossRefMathSciNetGoogle Scholar
  4. 4.
    Hales, T.: The Flyspeck Fact Sheet, revised 2007 (2003),
  5. 5.
    Higbee, F.: The Essentials of Descriptive Geometry. Second edition, John Wiley and Sons, New York (1917)zbMATHGoogle Scholar
  6. 6.
    Laczkovich, M.: Equidecomposability and discrepancy; a solution of Tarski’s circle-squaring problem. J. Reine Angew. Math. 404, 77–117 (1990)zbMATHMathSciNetGoogle Scholar
  7. 7.
    Mishra, B.: Computational Real Algebraic Geometry. In: Goodman, J.E., O’Rourke, J. (eds.) Handbook of Discrete and Computational Geometry, pp. 743–764. CRC Press, Boca Raton FL (1997)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Thomas C. Hales
    • 1
  1. 1.Math Department, University of Pittsburgh, Pittsburgh, PA 15217 

Personalised recommendations