Closed bhpayne closed 9 years ago
https://www.wolfram.com/mathematica/
Closed source, not free
https://github.com/allofphysicsgraph/proofofconcept/wiki/Computer-Algebra-Systems
Combined with 4 in 11
https://www.wolfram.com/mathematica/
Closed source, not free