Skip to main content

All Questions

Filter by
Sorted by
Tagged with
7 votes
1 answer
653 views

Which CAS can do basic non-commutative differential algebra?

This is a repost of my question at MSE from 7 months ago, to which I haven't been able to find an answer yet. I am looking for a CAS (possibly incl. additional packages/libraries) that can compute ...
M.G.'s user avatar
  • 7,127
69 votes
2 answers
25k views

Does there exist a complete implementation of the Risch algorithm?

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 ...
Timothy Chow's user avatar
  • 82.7k