Registered user since Tue 29 Apr 2025
Name:Rémi Prébet
Country:France
Affiliation:Inria, CNRS, ENS de Lyon, Université Claude Bernard Lyon 1, LIP, UMR 5668, 69342, Lyon cedex 07, France
Personal website: https://rprebet.github.io/
GitHub: https://github.com/rprebet
Research interests:Symbolic Computation, Real Algebraic Geometry, Robotics, Program Verification
Contributions
Using general profile