Most CASes use some form of Risch, but there are various levels of implementation. Axiom is the only known CAS that implements all of the mathematics for every

Most CASes use some form of Risch, but there are various levels of implementation. Axiom is the only known CAS that implements all of the mathematics for every case of Risch, the so-called “algebraic” and “transcendental” cases. Wolfram’s page uses vague language (“an extended form of”) and doesn’t actually confirm with precision what it is able to do.