Algorithms in Real Algebraic Geometry: A Survey

zbMath1398.14062arXiv1409.1534MaRDI QIDQ4604289

Saugata Basu

Publication date: 23 February 2018

Full work available at URL: https://arxiv.org/abs/1409.1534

zbMATH Keywords

complexityalgorithmsquantifier eliminationBetti numberssemi-algebraic setsroadmaps

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computational aspects of higher-dimensional varieties (14Q15) Semialgebraic sets and related spaces (14P10) Topology of real algebraic varieties (14P25)

Related Items (10)

On generalizing Descartes' rule of signs to hypersurfaces ⋮ Conormal spaces and Whitney stratifications ⋮ Decomposing arrangements of hyperplanes: VC-dimension, combinatorial dimension, and point location ⋮ Persistent Homology of Semialgebraic Sets ⋮ Efficient simplicial replacement of semialgebraic sets ⋮ On the complexity of analyticity in semi-definite optimization ⋮ Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians ⋮ Efficient Algorithm for Generalized Polynomial Partitioning and Its Applications ⋮ Vandermonde varieties, mirrored spaces, and the cohomology of symmetric semi-algebraic sets ⋮ On the Central Path of Semidefinite Optimization: Degree and Worst-Case Convergence Rate

This page was built for publication: Algorithms in Real Algebraic Geometry: A Survey