Symbolic calculator (the one that compute antiderivative exactly and can manipulate mathematical expressions) use something like Risch’s algorithm. The details are pretty complicated, but in simple term, it’s a much more advanced version of partial fraction decomposition by making use of Louisville’s algorithm (which describe the form of the solutions) to figure out what substitution to do.
Latest Answers