Détails sur le séminaire


salle A. Turing CE4

15 janvier 2015 - 14h00
A new Linearization Technique for Multivariate Polynomials Using Convex Polyhedra Based on Handelman-Krivine's Theorem
par Alexandre Marechal de Verimag PhD student



Abstract: We present a new linearization method to over-approximate non-linear multivariate polynomials with convex polyhedra.
It is based on Handelman-Krivine's theorem and consists in using products of constraints of a polyhedron to over-approximate a polynomial on this polyhedron. We implemented it together with two other linearization methods that we will not detail in this paper, but that we shall use as comparison. Our implementation in ocaml generates certificates that can be verified by a trusted checker, certified in coq, that guarantees the correctness of our linear approximation.




Contact | Plan du site | Site réalisé avec SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3900558