https://medium.com/@monocosmo77/recent-developments-in-the-domain-of-symbolic-computation-part1-computer-science-14397cdb268d
