Real solution isolation using interval arithmetic

DOI10.1016/j.camwa.2006.06.003zbMath1131.65041OpenAlexW2020812938MaRDI QIDQ2458505

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

zbMATH Keywords

numerical examplesinterval arithmeticpolynomial systemsMaplereal solution isolationsemialgebraic systems

Mathematics Subject Classification ID

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

• Maple

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