Rump, Siegfried M.Siegfried M.Rump2021-02-182021-02-182001Symbolic Algebraic Methods and Verification Methods: 209–226 (2001)http://hdl.handle.net/11420/8844enInformatikMathematikFast verification algorithms in MatlabBook Part10.1007/978-3-7091-6280-4_20Book Chapter