Scientific computing with automatic result verificationde Ulrich KulischMateriasElectronic data processingComputer scienceMathematicsNumerical calculationsVerificationNumerical analysisComputer programsAlgorithmsComputer science, mathematicsEdiciones (1)