Skip to content

Scientific computation with automatic result verification

by Ulrich Kulisch, Hans J. Stetter

Cover of Scientific computation with automatic result verification

No description available.

CongressesNumerical calculationsAlgorithmsVerification