GitHub - JiachenRen/java-algebra-system: An extensible, intuitive and easy to use algebra system that is capable of algebraic manipulation, simplification, differentiation, and much more. Reverse engineered from TI-nspire CAS.
Giac/Xcas, a free computer algebra system
Bridge between Computer Algebra and Theorem Prover