CAT 2017 - 7. Computeralgebra-Tagung: Unterschied zwischen den Versionen