Ryoo, C. S. Computational proofs of the existence of solutions to elasto-plastic torsion problems. (English) Zbl 0976.74009 Math. Comput. Modelling 32, No. 3-4, 289-298 (2000). MSC: 74C05 74G25 74S99 PDFBibTeX XMLCite \textit{C. S. Ryoo}, Math. Comput. Modelling 32, No. 3--4, 289--298 (2000; Zbl 0976.74009) Full Text: DOI
Nagatou, K.; Yamamoto, N.; Nakao, M. T. An approach to the numerical verification of solutions for nonlinear elliptic problems with local uniqueness. (English) Zbl 0938.65137 Numer. Funct. Anal. Optimization 20, No. 5-6, 543-565 (1999). Reviewer: Isaac Yevzerov (Kyïv) MSC: 65N30 35J60 65G20 PDFBibTeX XMLCite \textit{K. Nagatou} et al., Numer. Funct. Anal. Optim. 20, No. 5--6, 543--565 (1999; Zbl 0938.65137) Full Text: DOI
Galias, Z.; Zgliczyński, P. Computer assisted proof of chaos in the Lorenz equations. (English) Zbl 0941.37018 Physica D 115, No. 3-4, 165-188 (1998). MSC: 37D45 37N30 34C28 37M99 37-04 37C25 PDFBibTeX XMLCite \textit{Z. Galias} and \textit{P. Zgliczyński}, Physica D 115, No. 3--4, 165--188 (1998; Zbl 0941.37018) Full Text: DOI
Nakao, Mitsuhiro T.; Yamamoto, Nobito Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method. (English) Zbl 0893.35006 J. Math. Anal. Appl. 217, No. 1, 246-262 (1998). Reviewer: J.Chrastina (Brno) MSC: 65M99 65N99 65M15 65M60 35J65 PDFBibTeX XMLCite \textit{M. T. Nakao} and \textit{N. Yamamoto}, J. Math. Anal. Appl. 217, No. 1, 246--262 (1998; Zbl 0893.35006) Full Text: DOI
Moore, Ramon E. Methods and applications of interval analysis. (English) Zbl 0417.65022 SIAM Studies in Applied Mathematics. 2. Philadelphia: SIAM - Society for Industrial and Applied Mathematics. XI, 190 p. $ 16.00 (1979). MSC: 65G30 65-02 65C05 65Kxx 65L05 65L10 65J10 PDFBibTeX XML