Auto-Validating Numerical Methods
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Warwick Tucker
Themen in »Auto-Validating Numerical Methods«
Auto-validating algorithms Automatic differentiation Complex systems Computer labs Interval Analysis Ordinary differential equations Rigorous numerics Scientific computing Validated Computing
Stimmen zu »Auto-Validating Numerical Methods«
Details
ISBN: 9783034603010
Verlag: Springer Basel
Erscheinung: 03.2010