Bipolar varieties and real solving of a singular polynomial equation (original) (raw)
Related papers
On the intrinsic complexity of point finding in real singular hypersurfaces
2009
Polar Varieties and Efficient Real Equation Solving: The Hypersurface Case
Journal of Complexity, 1996
Algorithms of intrinsic complexity for point searching in real singular hypersurfaces 1
2010
Algorithms of Intrinsic Complexity for Point Searching in Compact Real Singular Hypersurfaces
Foundations of Computational Mathematics, 2012
Polar Varieties, Real Equation Solving, and Data Structures: The Hypersurface Case
Journal of Complexity, 1997
Polar Varieties and Efficient Real Equation Solving
1996
Polar varieties and efficient real elimination
Mathematische Zeitschrift, 2001
Point searching in real singularcomplete intersection varieties: algorithms of intrinsic complexity
Mathematics of Computation, 2013
Polar, bipolar and copolar varieties: Real solving of algebraic varieties with intrinsic complexity
Recent Advances in Real Complexity and Computation, 2013
Computational real algebraic geometry
1997
Journal of Complexity, 2000
An Improved Upper Complexity Bound for the Topology Computation of a Real Algebraic Plane Curve
M'hammed El Kahoui, Laureano Gonzalez-vega
Journal of Complexity, 1996
On the geometry of polar varieties
Applicable Algebra in Engineering, Communication and Computing, 2010
On the geometry of polar varieties1
2009
On the complexity of real solving bivariate systems
Proceedings of the 2007 international symposium on Symbolic and algebraic computation - ISSAC '07, 2007
Generalized polar varieties: geometry and algorithms
2005
A prolongation–projection algorithm for computing the finite real variety of an ideal
Theoretical Computer Science, 2009
2012
Sign methods for counting and computing real roots of algebraic systems
1999
Generalized polar varieties and an efficient real elimination procedure
Kybernetika, 2004
2011
On the asymptotic and practical complexity of solving bivariate systems over the reals
Journal of Symbolic Computation, 2009