01929nam0 22004573i 450 VAN0028868220250825040530.480N978146139092320250310d1991 |0itac50 baengUS|||| |||||i e bcrComputer Aided Proofs in AnalysisKenneth R. Meyer, Dieter S. Schmidt editorsNew York [etc.]Springer-Verlag1991xiii, 251 p.ill.24 cm001VAN000270332001 ˆThe ‰IMA volumes in mathematics and its applications210 New York [etc.]Springer2800B15Collections of articles of miscellaneous specific interest [MSC 2020]VANC023985MF65-XXNumerical analysis [MSC 2020]VANC019772MF68-XXComputer science [MSC 2020]VANC019670MFAlgebraKW:KAlgorithmsKW:KBifurcationsKW:KIntegrationsKW:KMathematicsKW:KUSNew YorkVANL000011MeyerKenneth R.VANV042339340SchmidtDieter S.VANV086123340Springer <editore>VANV108073650Meyer, Kenneth RayMeyer, Kenneth R.VANV042340Meyer, K. R.Meyer, Kenneth R.VANV042341ITSOL20251121RICAhttps://doi.org/10.1007/978-1-4613-9092-3E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00288682BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 10968 08eMF10968 20250328 Computer aided proofs in analysis382980UNICAMPANIA