https://123deta.com/document/z11dvd8z-approach-calculus-computer-algebra-design-algorithms-implementations-applications.html