All Questions

Is there a generally available (commercial or not) complete implementation of the Risch algorithm for determining whether an elementary function has an elementary antiderivative? The Wikipedia article ...

We know that in the ordinary algebra ideal case, the ideal membership problem can be solved by the Grobner Base theory, then, is there a counterpart theory in the differential ideal case? To be ...

I vaguely remember a book/some lecture notes which introduce integration algorithms such as Risch algorithm by first giving a list of quasi-algorithmic way of evaluating symbolic integrals. (For ...