LEADER 00922nam1 2200289 i 450 
001 VAN00048550
005 20250603113634.426
100   $a20060727g1995       |0itac50      ba
101   $aeng
102   $aDE
105   $a||||    |||||
181   $ai$b   e  
182   $an
183   $anc
200 1 $aC++ toolbox for verified computing$etheory, algorithms and programs$fR. Hammer, ... [et al.]
210   $aBerlin$cSpringer
215   $avolumi$d25 cm
463 \1$1001VAN00048552$12001 $a<<1: >>Basic numerical problems
620   $dBerlin$3VANL000066
702  1$aHammer$bRichard D.$3VANV017563
712   $aSpringer <editore>$3VANV108073$4650
790  1$aHammer, R. D.$zHammer, Richard D.$3VANV062986
790  1$aHammer, R.D.$zHammer, Richard D.$3VANV217974
801   $aIT$bSOL$c20250606$gRICA
912   $aVAN00048550
996   $aC++ toolbox for verified computing$91465420
997   $aUNICAMPANIA