Computer-assisted proofs and self-validating methods

Rump, Siegfried M.Siegfried M.Rump2021-02-022021-02-022005Accuracy and reliability in scientific computing, Chapter 10: 195-240 (2005)http://hdl.handle.net/11420/8668enInformatikMathematikComputer-assisted proofs and self-validating methodsBook Part10.1137/1.9780898718157.ch10Other