Russell Bradford, James Davenport, Matthew England,
Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm und
Andreas Weber
In proceedings of Proceedings of the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC '17), Kaiserslautern, Germany, pages 45-52, ACM, Juli 2017