Albert is an interactive program to assist the specialist in the study of nonassociative algebra: the main problem addressed is the recognition of polynomial identities in varieties of nonassociative algebras. Download source code in C.

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

Program solves variable equations and gives explanations of steps used.

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.

The world's first web-delivered self-improving intelligent tutoring system able to tutor students in writing expressions for algebra word problems.

Symbolic solver complete with a high-level interactive language, user extensible library and visualisation tool for the manipulation of graphical output. For Unix and Windows. No longer produced: support ceases at the end of 2001.

Savannah Free Software project for revival of Axiom as open source.

A matrix calculator program, written in C. Calculations can be performed on matrices with complex rational coefficients using exact arithmetic routines, as well as on matrices with elements mod p.

A special-purpose system for computations in Commutative Algebra.

CREP is designed to deal with categories whose morphism spaces are finite-dimensional over a field k. The main example of a category with this property is the category of finite-dimensional representations of an associative unital k-algebra.

By Robert H. Lewis and Michael Wester. Presented as a poster to the 1999 ISSAC Conference.

Abstract for Stanly Steinberg's article in "Comparative CAS Reviews and Philosophy", suggesting 6 ways in which computer algebra systems could be improved.

Collated by Computer Algebra Fachgruppe, Mannheim.

A collection of links.