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 29, 2021 at 3:29 | comment | added | TomKern | Added: It's also worth noting that the problem of symbolic integration is undecidable due to en.wikipedia.org/wiki/Richardson's_theorem. The last step of the Risch algorithm (comparing derivatives of candidate antiderivatives to the original function) is undecidable. | |
| Mar 29, 2021 at 3:28 | review | First posts | |||
| Mar 29, 2021 at 6:51 | |||||
| Mar 29, 2021 at 3:25 | history | answered | TomKern | CC BY-SA 4.0 |