Remarks on automatic algorithm stabilization
Journal of Symbolic Computation - Special issue on symbolic numeric algebra for polynomials
An algorithm for isolating the real solutions of semi-algebraic systems
Journal of Symbolic Computation
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Numerical stability and stabilization of Groebner basis computation
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
Polynomial real root isolation using Descarte's rule of signs
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Efficient isolation of polynomial's real roots
Journal of Computational and Applied Mathematics - Special issue: Proceedings of the international conference on linear algebra and arithmetic, Rabat, Morocco, 28-31 May 2001
Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3/e (Undergraduate Texts in Mathematics)
Real solution isolation using interval arithmetic
Computers & Mathematics with Applications
Zeros of univariate interval polynomials
Journal of Computational and Applied Mathematics
Counting positive solutions for polynomial systems with real coefficients
Computers & Mathematics with Applications
Hi-index | 0.09 |
The piecewise algebraic variety, as a set of the common zeros of multivariate splines, is a kind of generalization of the classical algebraic variety. In this paper, we present an algorithm for isolating the zeros of the zero-dimensional piecewise algebraic variety which is primarily based on the interval zeros of univariate interval polynomials. Numerical example illustrates that the proposed algorithm is flexible.