Symbolic computation techniques for solving large expression problems from mathematics and engineering | ACM Communications in Computer Algebra | DeepDyve