Real solution isolation using interval arithmetic
DOI10.1016/J.CAMWA.2006.06.003zbMATH Open1131.65041OpenAlexW2020812938MaRDI QIDQ2458505FDOQ2458505
Authors: Yanyan Li 
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
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
numerical examplesinterval arithmeticpolynomial systemsMaplereal solution isolationsemialgebraic systems
Numerical computation of solutions to systems of equations (65H10) Interval and finite arithmetic (65G30)
Cites Work
- Interval arithmetic in cylindrical algebraic decomposition
- Title not available (Why is that?)
- Title not available (Why is that?)
- A class of cubic differential systems with 6-tuple focus
- A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
- Title not available (Why is that?)
- A cubic system with eight small-amplitude limit cycles
- A Cubic System with Eight Small-Amplitude Limit Cycles
- An algorithm for isolating the real solutions of semi-algebraic systems
- Computing triangular systems and regular systems
- Stability analysis of biological systems with real solution classification
- Title not available (Why is that?)
Cited In (23)
- An algorithm for isolating the real solutions of semi-algebraic systems
- Logcf: an efficient tool for real root isolation
- An application of regular chain theory to the study of limit cycles
- A symbolic-numerical algorithm for isolating real roots of certain radical expressions
- Title not available (Why is that?)
- Real root isolation of regular chains
- Real solution isolation with multiplicity of zero-dimensional triangular systems
- A framework for interval-valued information system
- Isolating the real roots of the piecewise algebraic variety
- Dynamics in a discrete time model of logistic type
- Complete numerical isolation of real roots in zero-dimensional triangular systems
- Square-free pure triangular decomposition of zero-dimensional polynomial systems
- Isolating all the real roots of a mixed trigonometric-polynomial
- Real Root Isolation of Polynomial Equations Based on Hybrid Computation
- A geometric approach for analyzing parametric biological systems by exploiting block triangular structure
- Dynamic behaviors of a symmetrically coupled period-doubling system
- Certified numerical real root isolation for bivariate nonlinear systems
- Univariate real root isolation over a single logarithmic extension of real algebraic numbers
- Discovering polynomial Lyapunov functions for continuous dynamical systems
- Simple equations on real intervals
- Recent advances in program verification through computer algebra
- Univariate real root isolation in an extension field and applications
- Title not available (Why is that?)
Uses Software
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)
