Scientific computing with automatic result verification

Name: Scientific computing with automatic result verification
Author: Ulrich Kulisch

Cover of Scientific computing with automatic result verification

No description available.

Electronic data processingComputer scienceMathematicsNumerical calculationsVerificationNumerical analysisComputer programsAlgorithmsComputer science, mathematics