Efficient algorithms based on critical points method

Fabrice Rouillier (1, 2)

1 CALFOR - Calcul formel
2 SPACES - Solving problems through algebraic computation and efficient software

no abstract

Domaines: Calcul formel [cs.SC]

Fabrice Rouillier. Efficient algorithms based on critical points method. Algorithmic and Quantitative Real Algebraic Geometry, 60, American Mathematical Society, pp.123--138, 2003, Discrete Mathematics and Theoretical Computer Science. ⟨hal-01434757⟩