Stone Studio

REDUCE (Linux, Windows) $0.00

REDUCE is a system for doing scalar, vector and matrix algebra by computer, which also supports arbitrary precision numerical approximation and interfaces to gnuplot to provide graphics. It can be used interactively for simple calculations (as illustrated in the screenshot above) but also provides a full programming language, with a syntax similar to other modern programming languages.

Download a pre-packaged REDUCE distribution

Axiom (Linux, Windows) $0.00

The Scientific Computation System

Mathomatic (Cygwin, Linux, Mac OS X, POSIX, Unix) $0.00

Mathomatic is a portable computer algebra system (CAS) that can solve, simplify, and compare symbolic equations; perform simultaneous real number, imaginary number, and polynomial arithmetic; and do simple calculus transformations and series. The console mode application is designed to be reliable, responsive, and easy to use, and supports function plotting with gnuplot. The symbolic math library is lightweight and easy to include in other software due to being written entirely in C with no additional dependencies.

Downloads, Mathomatic for the iPhone is ported and developed by Ben Gotow. Not free, but has a Graphical User Interface (GUI).

Maxima (Linux, Windows) $0.00

Maxima is a fairly complete computer algebra system written in lisp with an emphasis on symbolic computation. It is based on DOE-MACSYMA and licensed under the GPL. Its abilities include symbolic integration, 3D plotting, and an ODE solver.

You can download files from the Sourceforge download page.

OpenAxiom (Linux, Windows) $0.00

OpenAxiom is an open source platform for symbolic, algebraic, and numerical computations. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences.

OpenAxiom strives to support ubiquitous, advanced, high quality open source computer algebra on major operating systems, in particular major Unix variants, GNU/Linux variants, Windows, and handheld devices. It aims at being the open source computer algebra system of choice for research, teaching, engineering, etc.

Download: The latest released version is OpenAxiom-1.3.0, Windows: x86 32-bit, 64-bit.

PolyBoRi (Linux, Windows) $0.00

The core of PolyBoRi is a C++ library, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings and subsets of the powerset of the Boolean variables. As a unique approach, binary decision diagrams are used as internal storage type for polynomial structures.

Home page: http://polybori.sourceforge.net/