3 ms·

Finally, IIRC, how to do integration of algebraic expressions in closed form has long been a solved problem and long ago was coded up in some software -- IIRC,

Finally, IIRC, how to do integration of algebraic expressions in closed form has long been a solved problem and long ago was coded up in some software -- IIRC, the software will report the result or state that no closed form solution exists. Are you thinking of indefinite integrals? https://en.wikipedia.org/wiki/Risch_algorithm https://en.wikipedia.org/wiki/Risch_algorithm This article is about a trick for definite integrals. If you can do the indefinite integral you can do a definite one, but not necessarily vice versa.

graycat 8y ago
You are no doubt ahead of me on this. With a little review (the Internet, Google, and Wikipedia are a new world), I recall that I was thinking of Macsyma with apparently a nice description at https://en.wikipedia.org/wiki/Macsyma https://en.wikipedia.org/wiki/Macsyma Apparently the software is still available, likely better than the original which apparently goes back to the MIT project MAC. The Wikipedia description early on mentions indefinite integration. IIRC the software implements algorithms that "solve" the problem of indefinite integration, calculus course "anti-differentiation". I'm plainly passing out what I remember, some of it confirmed by the Wikipedia page, and memory of hearsay. But likely now could download a copy of the software with whatever documentation they have and see how good it is, how much it claims, and that's a lot more than I could do the last time I heard anything about Macsyma. I'm not going to set my startup aside and rush to have fun with Macsyma, as much fun as I have had with calculus, but I will make a note in my little system for such chunks of information!