Mathematical Software – ICMS 2020 - Bigatti; Carette, Jacques; Davenport, James H.; de Wolff, Timo; Joswig, Michael (Springer International Publishing, 2020)