Computer-aided proofs and algorithms in analysis
Ferenc A. Bartha
Bok Engelsk 2013
Utgitt | [Bergen] : University of Bergen , 2013
|
---|---|
Omfang | X, 142 s. : diagr.
|
Opplysninger | Avhandling (ph.d.) - Universitetet i Bergen, 2013
|
Emner | anvendt matematikk numerisk differensiering intervall aritmetikk intervallanalyse intervallaritmetikk
|
Dewey | |
ISBN | 9788230823217
|