Scientific computing with automatic result verification

Scientific computing with automatic result verification
Details
- OL Work ID
- OL16962499W
Subjects
Electronic data processingComputer scienceMathematicsNumerical calculationsVerificationNumerical analysisComputer programsAlgorithmsComputer science, mathematics