Timeline for How does Mathematica do symbolic integration?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 28, 2021 at 20:49 | comment | added | Igor Khavkine | Since the OP did ask for a high level idea, might as well record that of the Risch anti-derivative algorithm here. The integrands are restricted to algebraic functions, extended by taking logs and exponentials. The restriction affords a canonical form. Knowing how to differentiate a canonical form, an intelligent ansatz for the anti-derivative can be made. The final result is obtained by a brute force search. The devil is in the details. | |
| Mar 28, 2021 at 20:39 | comment | added | Timothy Chow | "Maple uses the Risch algorithm" --- well, sort of. | |
| Mar 28, 2021 at 16:34 | history | answered | Ben McKay | CC BY-SA 4.0 |