The following pages link to (Q3994368):
Displayed 18 items.
- A deterministic algorithm for isolating real roots of a real polynomial (Q607163) (← links)
- Use of ''simple shooting'' to obtain chaos (Q1312482) (← links)
- A computer proof that the Lorenz equations have ``chaotic'' solutions (Q1324453) (← links)
- Numerical solution of differential equations to prescribed accuracy (Q1339298) (← links)
- Precise optimization using range arithmetic (Q1344345) (← links)
- The constructive reals as a Java library (Q1779561) (← links)
- Arbitrary precision real arithmetic: design and algorithms (Q1779562) (← links)
- Topological invariants, multivalued maps and computer assisted proofs in dynamics (Q1816695) (← links)
- Why intervals? A simple limit theorem that is similar to limit theorems from statistics (Q1899454) (← links)
- Applications of interval computations to earthquake-resistant engineering: How to compute derivatives of interval functions fast (Q1899463) (← links)
- Conley index for discrete multi-valued dynamical systems (Q1900744) (← links)
- Verification of constrained minima (Q1919423) (← links)
- Global optimization to prescribed accuracy (Q2277770) (← links)
- Least squares approximations of power series (Q2468996) (← links)
- A shooting approach to the Lorenz equations (Q4020151) (← links)
- Computation of Topological Degree Using Interval Arithmetic, and Applications (Q4286593) (← links)
- (Q4719364) (← links)
- An edgebreaker-based efficient compression scheme for regular meshes (Q5952971) (← links)