2021-04-222021-04-222001Springer 3-211-83593-8: (2001)3-211-83593-8http://hdl.handle.net/11420/9345enMathematikSymbolic algebraic methods and verification methodsBookAlefeld, GötzGötzAlefeldRohn, JiříJiříRohnRump, Siegfried M.Siegfried M.RumpYammamoto, TetsuroTetsuroYammamotoOther