Real solution isolation using interval arithmetic
From MaRDI portal
Publication:2458505
DOI10.1016/j.camwa.2006.06.003zbMath1131.65041OpenAlexW2020812938MaRDI QIDQ2458505
Publication date: 1 November 2007
Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.camwa.2006.06.003
numerical examplesinterval arithmeticpolynomial systemsMaplereal solution isolationsemialgebraic systems
Numerical computation of solutions to systems of equations (65H10) Interval and finite arithmetic (65G30)
Related Items (18)
Dynamic behaviors of a symmetrically coupled period-doubling system ⋮ Certified numerical real root isolation for bivariate nonlinear systems ⋮ Recent advances in program verification through computer algebra ⋮ A symbolic-numerical algorithm for isolating real roots of certain radical expressions ⋮ A Geometric Approach for Analyzing Parametric Biological Systems by Exploiting Block Triangular Structure ⋮ Dynamics in a discrete time model of logistic type ⋮ Isolating all the real roots of a mixed trigonometric-polynomial ⋮ Discovering polynomial Lyapunov functions for continuous dynamical systems ⋮ Univariate Real Root Isolation over a Single Logarithmic Extension of Real Algebraic Numbers ⋮ Univariate real root isolation in an extension field and applications ⋮ Real solution isolation with multiplicity of zero-dimensional triangular systems ⋮ Real Root Isolation of Regular Chains ⋮ Real Root Isolation of Polynomial Equations Based on Hybrid Computation ⋮ Logcf: an efficient tool for real root isolation ⋮ Complete numerical isolation of real roots in zero-dimensional triangular systems ⋮ Isolating the real roots of the piecewise algebraic variety ⋮ A framework for interval-valued information system ⋮ AN APPLICATION OF REGULAR CHAIN THEORY TO THE STUDY OF LIMIT CYCLES
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A class of cubic differential systems with 6-tuple focus
- A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
- A cubic system with eight small-amplitude limit cycles
- Computing triangular systems and regular systems
- Interval arithmetic in cylindrical algebraic decomposition
- An algorithm for isolating the real solutions of semi-algebraic systems
- A Cubic System with Eight Small-Amplitude Limit Cycles
- Stability analysis of biological systems with real solution classification
This page was built for publication: Real solution isolation using interval arithmetic