Please check out the numbers package. If all you need is to store exact numbers like “1 + √3”, you may want to use Data.Number.CReal instead of symbolic arithmetics. It stores the expressions and can be computed to arbitrary number of digits when needed. Prelude Data.Number.CReal> let cx = 1 + sqrt (3 :: CReal) … Read more
There are 3 popular methods to calculate the derivative: Numerical differentiation Symbolic differentiation Automatic differentiation Numerical differentiation relies on the definition of the derivative: , where you put a very small h and evaluate function in two places. This is the most basic formula and on practice people use other formulas which give smaller estimation … Read more
“General Theory” of CAS is a pretty huge scope for a question. That being said, I’ll do my best to cover as much as I can in the hopes that something helps you find what you’re looking for 🙂 The proceedings of the ISSAC and SIGSAM groups would no doubt have some good stuff about … Read more