LEADER 00854nam1 22002773i 450 
001 VAN00290603
005 20250402022033.312
100   $a20250402f           |0itac50      ba
101   $aeng
102   $aDE
105   $a||||    |||||
181   $ai$b   e  
182   $ab
183   $acr
200 1 $aNumerical Toolbox for Verified Computing$fR. Hammer ... [et al.]
210   $aBerlin [etc.]$cSpringer-Verlag
215   $avolumi$cill.$d24 cm
463 \1$1001VAN00290605$12001 $a<<1: >>Basic Numerical Problems$eTheory, Algorithms, and Pascal-XSC Programs
620   $dBerlin$3VANL000066
702  1$aHammer$bRolf$3VANV245805
712   $aSpringer <editore>$3VANV108073$4650
801   $aIT$bSOL$c20250404$gRICA
912   $fN
912   $aVAN00290603
996   $aNumerical Toolbox for Verified Computing$94343208
997   $aUNICAMPANIA