Alexandre Maréchal

Available identifiers

zbMath Open marechal.alexandreMaRDI QIDQ1739911

List of research outcomes

Publication	Date of Publication	Type
Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming	2019-09-16	Paper
Refinement to certify abstract interpretations: illustrated on linearization for polyhedra	2019-04-29	Paper
A Coq tactic for equality learning in linear arithmetic	2018-10-04	Paper
Efficient Elimination of Redundancies in Polyhedra by Raytracing	2017-02-21	Paper
Polyhedral Approximation of Multivariate Polynomials Using Handelman’s Theorem	2016-03-23	Paper
Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra	2015-09-14	Paper

Research outcomes over time

This page was built for person: Alexandre Maréchal