Accuracy control and estimation, self-validating systems and software environments for scientific computation

Rump, Siegfried M.Siegfried M.Rump2021-05-102021-05-101991-09IFIP TC2/WG 2.5 Working Conference on Programming Environments for High-Level Scientific Problem Solving 1991http://hdl.handle.net/11420/9488enInformatikMathematikAccuracy control and estimation, self-validating systems and software environments for scientific computationConference Paper