"Several of our classes involve students using mathematical expressions, but there was no way for us to automatically check this work. The stated solution to a problem may be x+y, but if a student answers y+x, our system needs to understand that this is also correct." "sympy, an open source Python library for symbolic mathematics," is proposed as a solution.