Filter
Sökt på: Sökresultat
Filter
totalt 3 träffar
Perspectives on Enclosure Methods
E-bok,
2012,
Engelska,
ISBN 9783709162828
Enclosure methods and their applications have been developed to a high standard during the last decades. These methods guarantee the validity of the computed results. This means …
Scientific Computation with Automatic Result Verification
E-bok,
2012,
Engelska,
ISBN 9783709169575
Scientific Computation with Result Verification has been a persevering research topic at the Institute for Applied Mathematics of Karlsruhe University for many years. A good number …
Advanced Arithmetic for the Digital Computer
E-bok,
2012,
Engelska,
ISBN 9783709105252
The number one requirement for computer arithmetic has always been speed. It is the main force that drives the technology. With increased speed larger problems can be attempted. To …