Real solution isolation using interval arithmetic
From MaRDI portal
Many problems in practise can be reduced to finding real solutions of a semialgebraic system. In this article, the authors provide an algorithm for real solution isolation of semialgebraic systems by using interval arithmetic. The algorithm has been implemented in Maple. Some experiments are done to show the performance of the algorithm.
Recommendations
- scientific article; zbMATH DE number 729912
- scientific article; zbMATH DE number 1263361
- Interval arithmetic for nonlinear problem solving
- Exact real arithmetic for interval number systems
- scientific article; zbMATH DE number 1253988
- Equations on real intervals
- Generalizing the real interval arithmetic
- Towards using exact real arithmetic for initial value problems
- Interval algorithm for absolute value equations
Cites work
- A class of cubic differential systems with 6-tuple focus
- A Cubic System with Eight Small-Amplitude Limit Cycles
- A cubic system with eight small-amplitude limit cycles
- A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
- An algorithm for isolating the real solutions of semi-algebraic systems
- Computing triangular systems and regular systems
- scientific article; zbMATH DE number 421661 (Why is no real title available?)
- scientific article; zbMATH DE number 3846864 (Why is no real title available?)
- scientific article; zbMATH DE number 3880009 (Why is no real title available?)
- scientific article; zbMATH DE number 1276817 (Why is no real title available?)
- Interval arithmetic in cylindrical algebraic decomposition
- Stability analysis of biological systems with real solution classification
Cited in
(24)- Complete numerical isolation of real roots in zero-dimensional triangular systems
- Isolating the real roots of the piecewise algebraic variety
- Simple equations on real intervals
- Univariate real root isolation in an extension field and applications
- An algorithm for isolating the real solutions of semi-algebraic systems
- Dynamic behaviors of a symmetrically coupled period-doubling system
- Certified numerical real root isolation for bivariate nonlinear systems
- Logcf: an efficient tool for real root isolation
- Discovering polynomial Lyapunov functions for continuous dynamical systems
- A symbolic-numerical algorithm for isolating real roots of certain radical expressions
- Real root isolation of regular chains
- Real Root Isolation of Polynomial Equations Based on Hybrid Computation
- An application of regular chain theory to the study of limit cycles
- Recent advances in program verification through computer algebra
- scientific article; zbMATH DE number 1263361 (Why is no real title available?)
- scientific article; zbMATH DE number 729912 (Why is no real title available?)
- scientific article; zbMATH DE number 1795756 (Why is no real title available?)
- Univariate real root isolation over a single logarithmic extension of real algebraic numbers
- A geometric approach for analyzing parametric biological systems by exploiting block triangular structure
- Dynamics in a discrete time model of logistic type
- Real solution isolation with multiplicity of zero-dimensional triangular systems
- A framework for interval-valued information system
- Isolating all the real roots of a mixed trigonometric-polynomial
- Square-free pure triangular decomposition of zero-dimensional polynomial systems
This page was built for publication: Real solution isolation using interval arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2458505)
