Erik Martin-Dorel -

Registered user since Fri 18 Nov 2016

Name:Erik Martin-Dorel

Country:France

Affiliation:IRIT, Université Paul Sabatier

Personal website: https://www.irit.fr/~Erik.Martin-Dorel/

Research interests:Interactive Theorem Proving, Numerical Methods, Algorithmic Games

Contributions

2017

CPP

Author of A Reflexive Tactic for Polynomial Positivity using Numerical Solvers and Floating-Point Computations within the CPP-track