00885nkm2-2200313---450-99000999076040332120150730143149.0000999076FED01000999076(Aleph)000999076FED0100099907620150730f19601970km-y0itay50------bagerDEhe-c--------------GodthaabRisorsa graficaBraunschweigGeorg Westermann Verlag[196.]1 diapositivacol.36 x 24 mm su supporto di cartone 50 x 50 mm001000999015NuukGroenlandiaImmaginiGeorg Westermann Verlag129269ITUNINARICAUNIMARCGR990009990760403321Scat. West. M-02(015)Ist. s.i.ILFGEILFGEGodthaab1497283UNINA03036nam2 22006253i 450 VAN0029060520250619024234.962N978364278423120250402d1993 |0itac50 baengDE|||| |||||i e bcrˆ1: ‰Basic Numerical ProblemsTheory, Algorithms, and Pascal-XSC ProgramsR. Hammer ... [et al.]Berlin [etc.]Springer-Verlag1993xv, 337 p.ill.24 cm001VAN000352942001 Springer series in computational mathematics210 Berlin [etc.]Springer,1983-21001VAN002906032001 Numerical Toolbox for Verified ComputingR. Hammer ... [et al.]210 Berlin [etc.]Springer-Verlag215 volumiill.24 cm112-XXField theory and polynomials [MSC 2020]VANC019746MF15-XXLinear and multilinear algebra; matrix theory [MSC 2020]VANC020607MF65-XXNumerical analysis [MSC 2020]VANC019772MF65D25Numerical differentiation [MSC 2020]VANC033867MF65F05Direct numerical methods for linear systems and matrix inversion [MSC 2020]VANC027309MF65G30Interval and finite arithmetic [MSC 2020]VANC022157MF65H10Numerical computation of solutions to systems of equations [MSC 2020]VANC022161MF65K05Numerical mathematical programming methods [MSC 2020]VANC028868MF65Y20Complexity and performance of numerical algorithms [MSC 2020]VANC022992MF68W30Symbolic computation and algebraic computation [MSC 2020]VANC019771MF90-XXOperations research, mathematical programming [MSC 2020]VANC025650MFAlgorithmsKW:KAutomatic Result VerificationKW:KNumerical AnalysisKW:KNumericsKW:KOptimizationKW:KProgram verificationKW:KProgrammingKW:KScientific ComputingKW:KSelf-Verifying NumericsKW:KSimplificationKW:KSimplification of ProgrammingKW:KVerificationKW:KVerified ComputingKW:KBerlinVANL000066HammerRolfVANV245805Springer <editore>VANV108073650ITSOL20250620RICAhttps://doi.org/10.1007/978-3-642-78423-1E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00290605BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 11336 08eMF11336 20250611 Basic numerical problems1405508UNICAMPANIA