65 Numerical analysis
65Gxx Error analysis and interval analysis
65G20 Algorithms with automatic result verification (3 articles)
- : Verified numerical computations for large-scale linear systems. (English). Applications of Mathematics, vol. 66 (2021), issue 2, pp. 269-285
- : Rigorous numerics for symmetric homoclinic orbits in reversible dynamical systems. (English). Kybernetika, vol. 43 (2007), issue 6, pp. 797-806
- : Two-sided a posteriori error estimates for linear elliptic problems with mixed boundary conditions. (English). Applications of Mathematics, vol. 52 (2007), issue 3, pp. 235-249
Search
Partner of
