Revol, N. Interval Newton iteration in multiple precision for the univariate case. (English) Zbl 1035.65051 Numer. Algorithms 34, No. 2-4, 417-426 (2003). MSC: 65H05 65G30 65G20 PDFBibTeX XMLCite \textit{N. Revol}, Numer. Algorithms 34, No. 2--4, 417--426 (2003; Zbl 1035.65051) Full Text: DOI
Schaefer, Mark J. Verification of constrained minima. (English) Zbl 0859.65063 J. Comput. Appl. Math. 67, No. 2, 195-205 (1996). Reviewer: T.F.Coleman (Ithaca) MSC: 65K05 65G30 65Y20 90C30 PDFBibTeX XMLCite \textit{M. J. Schaefer}, J. Comput. Appl. Math. 67, No. 2, 195--205 (1996; Zbl 0859.65063) Full Text: DOI
Schaefer, Mark J. Precise optimization using range arithmetic. (English) Zbl 0832.65055 J. Comput. Appl. Math. 53, No. 3, 341-351 (1994). Reviewer: E.Duca (Cluj-Napoca) MSC: 65K05 65G30 90C30 PDFBibTeX XMLCite \textit{M. J. Schaefer}, J. Comput. Appl. Math. 53, No. 3, 341--351 (1994; Zbl 0832.65055) Full Text: DOI