Rump, Siegfried M.Siegfried M.Rump2021-02-102021-02-102003Computer algebra handbook: chapter 2.12.2, 110–112 (2003)978-3-642-62988-4978-3-642-55826-9http://hdl.handle.net/11420/8740enInformatikMathematikAlgorithms for computing validated resultsBook PartBook Chapter