Mathematical software - ICMS 2020 7th international conference, Braunschweig, Germany, July 13-16, 2020 : proceedings - Bigatti, Anna M. 1965-; Carette, Jacques; Davenport, James Harold 1953-; Joswig, Michael 1965-; Wolff, Timo de 1982- (Lecture notes in computer science, 2020)