https://sagecell.sagemath.org/
http://www.sagemath.org/library.html
https://github.com/sagemathinc/smc
INtroduction to symbolic computatoin
http://www.sagemath.org/tour.html
Sage for power users