rcas

https://github.com/no-dashes/rcas

Symbols are indeterminates, the ordinary operators build expression trees, and irb is the REPL. Exact arithmetic first; calculus, solving, polynomial rings, finite fields, linear algebra, differential equations, summation and statistics, with honest unevaluated answers where there is no closed form.