M. S. E. Din

activity

20062026

most citedmsolve: A Library for Solving Polynomial Systems

48 citations · 93 across the 21 of their papers we have counts for

collaborators

Showing 2009 · cs.SCShow all

2 papers · 2 filters

cs.SC2009★ 3 cited

Computing rational points in convex semi-algebraic sets and SOS decompositions

Mohab Safey El Din, Lihong Zhi

Let $P = {h_{1}, ..., h_{s}} \subset Z [Y_{1}, ..., Y_{k}]$ , $D \geq ° (h_{i})$ for $1 \leq i \leq s$ , $σ$ bounding the bit length of the coefficients of the $h_{i}$ 's, and $Φ$ be a quantif…

cs.SC2009★ 2 cited

A baby steps/giant steps Monte Carlo algorithm for computing roadmaps in smooth compact real hypersurfaces

Mohab Safey El Din, Éric Schost

We consider the problem of constructing roadmaps of real algebraic sets. The problem was introduced by Canny to answer connectivity questions and solve motion planning problems. Gi…