Advances in Computer Algebra