Alexandre Maréchal
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming Static Analysis | 2019-09-16 | Paper |
| Refinement to certify abstract interpretations: illustrated on linearization for polyhedra Journal of Automated Reasoning | 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 Lecture Notes in Computer Science | 2017-02-21 | Paper |
| Polyhedral approximation of multivariate polynomials using Handelman's theorem Lecture Notes in Computer Science | 2016-03-23 | Paper |
| Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra Interactive Theorem Proving | 2015-09-14 | Paper |
Research outcomes over time
This page was built for person: Alexandre Maréchal
