Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings. Lecture Notes in Computer Science 12097, Springer 2020, ISBN 978-3-030-52199-8