Pages that link to "Item:Q2458505"

The following pages link to Real solution isolation using interval arithmetic (Q2458505):

Displaying 19 items.

• Recent advances in program verification through computer algebra (Q351971) (← links)
• Real solution isolation with multiplicity of zero-dimensional triangular systems (Q543162) (← links)
• Complete numerical isolation of real roots in zero-dimensional triangular systems (Q1025386) (← links)
• Isolating the real roots of the piecewise algebraic variety (Q1029844) (← links)
• Univariate real root isolation in an extension field and applications (Q1757003) (← links)
• Dynamic behaviors of a symmetrically coupled period-doubling system (Q2122209) (← links)
• Certified numerical real root isolation for bivariate nonlinear systems (Q2156364) (← links)
• Logcf: an efficient tool for real root isolation (Q2287381) (← links)
• Discovering polynomial Lyapunov functions for continuous dynamical systems (Q2437283) (← links)
• A symbolic-numerical algorithm for isolating real roots of certain radical expressions (Q2656085) (← links)
• Real Root Isolation of Regular Chains (Q2799549) (← links)
• Real Root Isolation of Polynomial Equations Based on Hybrid Computation (Q2799571) (← links)
• AN APPLICATION OF REGULAR CHAIN THEORY TO THE STUDY OF LIMIT CYCLES (Q2866055) (← links)
• Univariate Real Root Isolation over a Single Logarithmic Extension of Real Algebraic Numbers (Q4610025) (← links)
• A Geometric Approach for Analyzing Parametric Biological Systems by Exploiting Block Triangular Structure (Q5090111) (← links)
• Dynamics in a discrete time model of logistic type (Q5095231) (← links)
• A framework for interval-valued information system (Q5497439) (← links)
• Isolating all the real roots of a mixed trigonometric-polynomial (Q6051116) (← links)
• Square-free pure triangular decomposition of zero-dimensional polynomial systems (Q6594999) (← links)