12 citations · 31 across the 5 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.AG2021
Computing totally real hyperplane sections and linear series on algebraic curves
Huu Phuoc Le, Dimitri Manevich, Daniel Plaumann
Given a real algebraic curve, embedded in projective space, we study the computational problem of deciding whether there exists a hyperplane meeting the curve in real points only.…
cs.SC2021★ 6 cited
Faster One Block Quantifier Elimination for Regular Polynomial Systems of Equations
Huu Phuoc Le, Mohab Safey El Din
Quantifier elimination over the reals is a central problem in computational real algebraic geometry, polynomial system solving and symbolic computation. Given a semi-algebraic form…