The following pages link to (Q4011815):
Displaying 12 items.
- Computer technology of interval-set analysis in MATLAB (Q557484) (← links)
- Loop invariants in floating point algorithms (Q685861) (← links)
- Computer-assisted proofs in analysis (Q1080247) (← links)
- Interval methods and computer aided proofs in science and engineering, Interval '96. Proceedings of the international conference, September 30 - October 2, 1996, Würzburg, Germany (Q1371149) (← links)
- A software tool for automatically verified operations on intervals and probability distributions (Q1383757) (← links)
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds (Q1692132) (← links)
- Mechanising the theory of intervals using OBJ3 (Q1916976) (← links)
- Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds (Q2134139) (← links)
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits (Q4557492) (← links)
- Numerical Software with Result Verification (Q5308343) (← links)
- Non–existence of<i>theta</i>–shaped self–similarly shrinking networks moving by curvature (Q5745181) (← links)
- A review note on arbitrary precision arithmetic (Q6175903) (← links)
