Filter
Sökt på: Sökresultat
Filter
totalt 3 träffar
Advanced Arithmetic for the Digital Computer
häftad,
2002,
Engelska,
ISBN 9783211838709
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 …
Scientific Computation with Automatic Result Verification
häftad,
1988,
Engelska,
ISBN 9783211820636
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 …
Perspectives on Enclosure Methods
häftad,
2001,
Engelska,
ISBN 9783211835906
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 …