6 citations · 8 across the 4 of their papers we have counts for
5 papers
Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet
Loop invariants are properties of a program loop that hold both before and after each iteration of the loop. They are often used to verify programs and ensure that algorithms consi…
Computing roadmaps in unbounded smooth real algebraic sets II: algorithm and complexity
Rémi Prébet, Mohab Safey El Din, Éric Schost
A roadmap for an algebraic set defined by polynomials with coefficients in the field of rational numbers is an algebraic curve contained in whose intersection…
Algorithm for connectivity queries on real algebraic curves
Md Nazrul Islam, Adrien Poteaux, Rémi Prébet
We consider the problem of answering connectivity queries on a real algebraic curve. The curve is given as the real trace of an algebraic curve, assumed to be in generic position,…
Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry
Damien Chablat, Rémi Prébet, Mohab Safey El Din +2
Cuspidal robots are robots with at least two inverse kinematic solutions that can be connected by a singularity-free path. Deciding the cuspidality of generic 3R robots has been st…
Computing roadmaps in unbounded smooth real algebraic sets I: connectivity results
Rémi Prébet, Mohab Safey El Din, Éric Schost
Answering connectivity queries in real algebraic sets is a fundamental problem in effective real algebraic geometry that finds many applications in e.g. robotics where motion plann…