Real solution isolation using interval arithmetic

Authors:
Bican Xia;Ting Zhang
Affiliations:
LMAM and School of Mathematical Sciences Peking University, Beijing 100871, P.R. China;LMAM and School of Mathematical Sciences Peking University, Beijing 100871, P.R. China
Venue:
Computers & Mathematics with Applications
Year:
2006

Citing 6
Cited 12

Real zeroes of polynomials

Computer algebra: symbolic and algebraic computation (2nd ed.)
A generalized Euclidean algorithm for computing triangular representations of algebraic varieties

Journal of Symbolic Computation
Computing triangular systems and regular systems

Journal of Symbolic Computation
Interval arithmetic in cylindrical algebraic decomposition

Journal of Symbolic Computation
An algorithm for isolating the real solutions of semi-algebraic systems

Journal of Symbolic Computation
Stability analysis of biological systems with real solution classification

Proceedings of the 2005 international symposium on Symbolic and algebraic computation

DISCOVERER: a tool for solving semi-algebraic systems

ACM Communications in Computer Algebra
Isolating the real roots of the piecewise algebraic variety

Computers & Mathematics with Applications
Complete numerical isolation of real roots in zero-dimensional triangular systems

Journal of Symbolic Computation
Computing cylindrical algebraic decomposition via triangular decomposition

Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Discovering non-linear ranking functions by solving semi-algebraic systems

ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Generating polynomial invariants with DISCOVERER and QEPCAD

Formal methods and hybrid real-time systems
Triangular decomposition of semi-algebraic systems

Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Univariate real root isolation in an extension field

Proceedings of the 36th international symposium on Symbolic and algebraic computation
Triangular decomposition of semi-algebraic systems

Journal of Symbolic 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
Univariate real root isolation in multiple extension fields

Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
Discovering polynomial Lyapunov functions for continuous dynamical systems

Journal of Symbolic Computation

Quantified Score

Hi-index	0.09

Visualization

Abstract

We propose a complete algorithm for real solution isolation for semialgebraic systems by using interval arithmetic. The algorithm is implemented as a Maple program Nrealzero and its performance on several examples is reported.