Cylindrical algebraic decomposition II: an adjacency algorithm for the plane
SIAM Journal on Computing
Some algebraic and geometric computations in PSPACE
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
Computing primitive elements of extension fields
Journal of Symbolic Computation
Zeros, multiplicities, and idempotents for zero-dimensional systems
Algorithms in algebraic geometry and applications
Radical computations of zero-dimensional ideals and real root counting
Selected papers presented at the international IMACS symposium on Symbolic computation, new trends and developments
Fundamental problems of algorithmic algebra
Fundamental problems of algorithmic algebra
An algorithm for isolating the real solutions of semi-algebraic systems
Journal of Symbolic Computation
Efficient topology determination of implicitly defined algebraic plane curves
Computer Aided Geometric Design
Solving Systems of Algebraic Equations
ISAAC '88 Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation
Rational quadratic approximation to real algebraic curves
Computer Aided Geometric Design - Special issue: Geometric modeling and processing 2004
Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics)
Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics)
On the complexity of real solving bivariate systems
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Fast and exact geometric analysis of real algebraic plane curves
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Complete numerical isolation of real roots in zero-dimensional triangular systems
Journal of Symbolic Computation
Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities
CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing
Root isolation of zero-dimensional polynomial systems with linear univariate representation
Journal of Symbolic Computation
Arrangement computation for planar algebraic curves
Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation
Local generic position for root isolation of zero-dimensional triangular polynomial systems
CASC'12 Proceedings of the 14th international conference on Computer Algebra in Scientific Computing
On the complexity of solving a bivariate polynomial system
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
On exact rasterization of real algebraic plane curves
Proceedings of the 27th Spring Conference on Computer Graphics
Journal of Symbolic Computation
Hi-index | 0.00 |
A local generic position method is proposed to isolate the real roots of a bivariate polynomial system ∑={f(x,y),g(x,y)}. In this method, the roots of the system are represented as linear combinations of the roots of two univariate polynomial equations t(x)=0 and T(X)=0: {x = α, y = β -- α/s | α ε V(t(x)), β ε V(T(X)), ||β -- α| S}, where s, S are constants satisfying certain conditions. The multiplicities of the roots of Σ=0 are the same as that of the corresponding roots of T(X)=0. This representation leads to an efficient and stable algorithm to isolate the real roots of Σ.