Self-validating methods
- 1 February 2001
- journal article
- Published by Elsevier in Linear Algebra and its Applications
- Vol. 324 (1-3) , 3-13
- https://doi.org/10.1016/s0024-3795(00)00195-6
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- The dynamics of the Jouanolou foliation on the complex projective 2-spaceErgodic Theory and Dynamical Systems, 2001
- On the existence of an eigenvalue below the essential spectrumProceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 1999
- INTLAB — INTerval LABoratoryPublished by Springer Nature ,1999
- Chaos in the Lorenz equations: A computer assisted proof. Part II: DetailsMathematics of Computation, 1998
- Rigorous chaos verification in discrete dynamical systemsPhysica D: Nonlinear Phenomena, 1993
- Computer Methods and Borel Summability Applied to Feigenbaum's EquationPublished by Springer Nature ,1985
- Global optimization using interval analysis: The one-dimensional caseJournal of Optimization Theory and Applications, 1979