Real solution isolation using interval arithmetic

DOI10.1016/J.CAMWA.2006.06.003MaRDI QIDQ2458505zbMATH OpenOpenAlexFDO

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

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)

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

• 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?)
• A Cubic System with Eight Small-Amplitude Limit Cycles
• A class of cubic differential systems with 6-tuple focus
• 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
• Interval arithmetic in cylindrical algebraic decomposition
• Stability analysis of biological systems with real solution classification

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
• scientific article; zbMATH DE number 1795756 (Why is no real title available?)
• Real solution isolation with multiplicity of zero-dimensional triangular systems
• Real root isolation of regular chains
• Isolating the real roots of the piecewise algebraic variety
• A framework for interval-valued information system
• 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
• scientific article; zbMATH DE number 729912 (Why is no real title available?)

Describes a project that uses

Uses Software

• Maple

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)