Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Érik Martin-Dorel

A Reflexive Tactic for Polynomial Positivity Using Numerical Solvers and Floating-Point Computations

English