00854nam1 22002773i 450 VAN0029060320250402022033.31220250402f |0itac50 baengDE|||| |||||i e bcrNumerical Toolbox for Verified ComputingR. Hammer ... [et al.]Berlin [etc.]Springer-Verlagvolumiill.24 cm001VAN002906052001 <<1: >>Basic Numerical ProblemsTheory, Algorithms, and Pascal-XSC ProgramsBerlinVANL000066HammerRolfVANV245805Springer <editore>VANV108073650ITSOL20250404RICANVAN00290603Numerical Toolbox for Verified Computing4343208UNICAMPANIA