Exact join detection for convex polyhedra and other numerical abstractions

DOI10.1016/j.comgeo.2009.09.002zbMath1187.65018MaRDI QIDQ2269830

Enea Zaffanella, Roberto Bagnara, Patricia M. Hill

Publication date: 11 March 2010

Published in: Computational Geometry (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.comgeo.2009.09.002

zbMATH Keywords

convexity; polyhedron; abstract interpretation; union; numerical abstraction; powerset domain

Mathematics Subject Classification ID

52B55: Computational aspects related to convexity

65D18: Numerical aspects of computer graphics, image analysis, and computational geometry

Uses Software

• PPL
• Octagon
• PipLib