Skip to content
Vinony

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
Scientific computation with automatic result verification by Ulrich Kulisch, Hans J. Stetter — book · Vinony