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