2022-03-022022-03-020747-71711095-855Xhttps://publica.fraunhofer.de/handle/publica/116892Journal of symbolic computation