That's my article about writing a lib for solving problems analytically. E. g. it can find derivative, solve some equations, etc. Project is open-source and located here https://github.com/asc-community/MathS