×

zbMATH — the first resource for mathematics

Algorithm 852: RealPaver: An interval solver using constraint satisfaction techniques. (English) Zbl 1346.65020

MSC:
65G40 General methods in interval analysis
65H10 Numerical computation of solutions to systems of equations
Software:
ALIAS; Cosy; RealPaver
PDF BibTeX XML Cite
Full Text: DOI