00973nam0 2200265 450 00001987520081125114614.0354057118320081125d1993----km-y0itay50------baengDEy-------001yyNumerical toolbox for verified computing 1.basic numerical problemstheory, algorithms and Pascal-XSC programsR. Hammer ... [et al.]Berlin [etc.]Springerc1993XIII, 337 p.24 cmSpringer series in computational mathematics212001Springer series in computational mathematicsNumerical toolbox for verified computing 1.55793519.420Analisi numerica applicataHammer,RolfITUNIPARTHENOPE20081125RICAUNIMARC000019875M 519.4/70M 1137DSA2008Numerical toolbox for verified computing 155793UNIPARTHENOPE