Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem. - Alexandre Maréchal; Alexis Fouilhé; Tim King 001; David Monniaux; Michaël Périn (VMCAI, 2016)

Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming. - Alexandre Maréchal; David Monniaux; Michaël Périn (SAS, 2017)

Efficient Elimination of Redundancies in Polyhedra by Raytracing. - Alexandre Maréchal; Michaël Périn (VMCAI, 2017)

New Algorithmics for Polyhedral Calculus via Parametric Linear Programming. (Nouvelle Algorithmique pour le Calcul Polyédral via Programmation Linéaire Paramétrique). - Alexandre Maréchal (2017)

A Coq Tactic for Equality Learning in Linear Arithmetic. - Sylvain Boulmé; Alexandre Maréchal (ITP, 2018)

The Verified Polyhedron Library: an Overview. - Sylvain Boulmé; Alexandre Maréchal; David Monniaux; Michaël Périn; Hang Yu 005 (SYNASC, 2018)

Combination of Boxes and Polyhedra Abstractions for Constraint Solving. - Ghiles Ziat; Alexandre Maréchal; Marie Pelleau; Antoine Miné; Charlotte Truchet (FM Workshops (2), 2019)

Refinement to Certify Abstract Interpretations: Illustrated on Linearization for Polyhedra. - Sylvain Boulmé; Alexandre Maréchal (J. Autom. Reason., 2019)