Fricas, an open-source clone of Axiom, implements a considerable chunk of Risch, see http://fricas-wiki.math.uni.wroc.pl/RischImplementationStatus
Fricas is also available as a optional package of SageMath open-source system.
Dima Pasechnik
- 14.6k
- 2
- 35
- 73