Challenges in Linear and Polynomial Algebra in Symbolic Computation Software