All Questions
Tagged with differential-algebra computer-algebra
2 questions
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 ...
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 ...