Originally an extension to Axiom, now a separate product. Binaries are available free for non-profit use, with documentation, tips, projects and links.

Helps students with equations and inequalities, simplifying expression, graphing and complex numbers. Includes problem solving exercises.

Personal Algebra Tutor - Enter your algebra problems and get instant step-by-step solutions with explanations.

An open framework for symbolic computation within the C++ programming language. The name GiNaC is an iterated and recursive abbreviation for "GiNaC is Not a CAS", where CAS stands for Computer Algebra System. Its design is revolutionary in a sense that contrary to other CAS it does not try to provide extensive algebraic capabilities and a simple programming language but instead accepts a given language (C++) and extends it by a set of algebraic capabilities. It is published under the GNU Public License (GPL).

Mathscribe is free dynamic graphing and modeling software for use in algebra classes. Lesson plans for linears and quadratics are included.

Computer Algebra System for polynomial computations with special emphasis on commutative algebra, algebraic geometry, and singularity theory.

Directory of links on Symbolic Algebraic Computation: Frequently Asked Questions, Live Demos, software for download, events, bibliography, research groups, and researcher directory.