Abstract
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.
Keywords
- 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.
This research has been supported by NSF grant 0503447.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
Berberich, E.: Exact Arrangements of Quadric Intersection Curves, Master’s thesis, Saarbrücken (2004)
Ferguson, S., Hales, T.: The Kepler Conjecture. Disc. and Comp. Geom. 36(1), 1–269 (2006)
Hales, T.: The Flyspeck Fact Sheet, revised 2007 (2003), http://www.math.pitt.edu/~thales/
Higbee, F.: The Essentials of Descriptive Geometry. Second edition, John Wiley and Sons, New York (1917)
Laczkovich, M.: Equidecomposability and discrepancy; a solution of Tarski’s circle-squaring problem. J. Reine Angew. Math. 404, 77–117 (1990)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hales, T.C. (2007). Equidecomposable Quadratic Regions . In: Botana, F., Recio, T. (eds) Automated Deduction in Geometry. ADG 2006. Lecture Notes in Computer Science(), vol 4869. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77356-6_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-77356-6_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77355-9
Online ISBN: 978-3-540-77356-6
eBook Packages: Computer ScienceComputer Science (R0)
