Post #2636082

@andrejbauer@mathstodon.xyz "We think it's correct but can't be bothered to check" ? Or maybe it's like the Risch Algorithm: it is a correct algorithm for the problem in differential algebra that it solves, but it is an incorrect algorithm for computing closed-form integrals in analysis.