Registered user since Tue 29 Apr 2025
Name:Rémi Prébet
Country:France
Affiliation:Inria
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