https://medium.com/@monocosmo77/recent-developments-in-the-domain-of-symbolic-computation-part2-computer-science-e3ac99fc4c06
