computer algebra Archives - Page 2 of 2

FORM – Symbolic Manipulation System

FORM is a Symbolic Manipulation System. It reads symbolic expressions from files and executes symbolic/algebraic transformations upon them.

Cadabra is a symbolic computer algebra system (CAS) designed specifically for the solution of problems encountered in field theory.

Macaulay 2 is a computer algebra system devoted to supporting research in algebraic geometry, commutative algebra, and their applications.

GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory.

FriCAS is an advanced, open source, computer algebra system, a self-contained toolbox ranging from calculus to abstract algebra.

CoCoA is an open source interactive system for doing computations in commutative algebra. CoCoALib is a C++ library.