The following pages link to Alexandre Maréchal (Q1739911):
Displaying 6 items.
- Refinement to certify abstract interpretations: illustrated on linearization for polyhedra (Q1739912) (← links)
- A Coq tactic for equality learning in linear arithmetic (Q1791149) (← links)
- Polyhedral Approximation of Multivariate Polynomials Using Handelman’s Theorem (Q2796046) (← links)
- Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra (Q2945626) (← links)
- Efficient Elimination of Redundancies in Polyhedra by Raytracing (Q2961577) (← links)
- Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming (Q5233243) (← links)
