Keyword:polyhedra

Publications
The Polyhedral Structure and Complexity of Multistage Stochastic Linear Problem with General Cost Distribution Maël Forcier, Stéphane Gaubert and Vincent Leclère EasyChair Preprint 4113
Implementation of Polyhedral Operations in CORA 2024 Mark Wetzlinger, Viktor Kotsev, Adrian Kulmburg and Matthias Althoff In:Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools Jesse Alama In:IWIL 2010. The 8th International Workshop on the Implementation of Logics