01063nam0-22003491i-450-9900013304204033213-540-57118-3000133042FED01000133042(Aleph)000133042FED0100013304220000920d1993----km-y0itay50------baengNUMERICAL toolbox for verified computing IBasic numerical problems theory, algorithms, and Pascal-XSC programsR. Hammer ...[e altri].BerlinSpringer-Verlagc1993.xiv, 337 p.ill.24 cmSpringer series in computational mathematics21Algebra lineare numericaAnalisi dell' erroreSistemi di computers519.4Hammer,RolfITUNINARICAUNIMARCBK990001330420403321C-54-(2111824MA1MA165FXX65G10NUMERICAL toolbox for verified computing I376459UNINAING01