Efficient symbolic representation of convex polyhedra in high-dimensional spaces

DOI10.1007/978-3-030-01090-4_17zbMath1517.68087OpenAlexW2892485591MaRDI QIDQ6109593

Isabelle Mainz, Bernard Boigelot

Publication date: 28 July 2023

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://orbi.uliege.be/handle/2268/227564

Mathematics Subject Classification ID

Computational aspects related to convexity (52B55) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Data structures (68P05)

This page was built for publication: Efficient symbolic representation of convex polyhedra in high-dimensional spaces