Gerdt, V.P.2022-03-022022-03-0220113-642-23567-0978-3-642-23567-2978-3-642-23568-9https://publica.fraunhofer.de/handle/publica/152873Computer algebra in scientific computing. 13th international workshop, CASC 2011