LEADER 00939nam1 22003013i 450 
001 VAN00294015
005 20250603113650.740
100   $a20250603g1995       |0itac50      ba
101   $aeng
102   $aDE
105   $a||||    |||||
181   $ai$b   e  
182   $ab
183   $acr
200 1 $aC++ toolbox for verified computing$etheory, algorithms and programs$fR. Hammer ... [et al.]
210   $aBerlin$cSpringer
215   $avolumi$d25 cm
463 \1$1001VAN00294017$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   $fN
912   $aVAN00294015
996   $aC++ toolbox for verified computing$91465420
997   $aUNICAMPANIA