The Research Seminar on Computer Algebra in 2008--2009
scientific article; zbMATH DE number 5790935