Projects

Maxima -- GPL CAS based on DOE-MACSYMA

Maxima is a system for the manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential equations, systems of linear equations, polynomials, and sets, lists, vectors, matrices, and tensors. Maxima yields high ... [More] precision numeric results by using exact fractions, arbitrary precision integers, and variable precision floating point numbers. Maxima can plot functions and data in two and three dimensions. The Maxima source code can be compiled on many systems, including Windows, Linux, and MacOS X. The source code for all systems and precompiled binaries for Windows and Linux are available at the SourceForge file manager. [Less]

wxMaxima

wxMaxima is a cross-platform graphical front-end for the computer algebra system Maxima based on wxWidgets. It provides nice display of mathematical output and easy access to Maxima functions through menus and dialogs.

Mathomatic

Mathomatic is a portable, general purpose CAS (Computer Algebra System) written entirely in C. This is a console mode application that does symbolic math and quick calculations. It compiles and runs under any operating system with a C compiler. There are no dependencies other than the standard C ... [More] libraries. Mathomatic has been under development since 1986 and now stands at 20,000 lines of code (including comments). [Less]

Yacas

YACAS is an easy to use, general purpose Computer Algebra System, a program for symbolic manipulation of mathematical expressions. It uses its own programming language designed for symbolic as well as arbitrary-precision numerical computations. The system has a library of scripts that implement many ... [More] of the symbolic algebra operations; new algorithms can be easily added to the library. YACAS comes with extensive documentation (hundreds of pages) covering the scripting language, the functionality that is already implemented in the system, and the algorithms we used. [Less]

Math::Symbolic

Math::Symbolic is intended to offer symbolic calculation capabilities to the Perl programmer without using external (to Perl) libraries and/or applications. It's quite limited in scope. No integration of expressions, for example. However, various extensions have been written to allow things ... [More] like symbolic tree transformations using declarative syntax or compilation to Perl or C code for faster numeric evaluation. [Less]

Axiom

Axiom is a general purpose Computer Algebra system. It is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler.

piranha

Piranha is an algebraic manipulation framework for Celestial Mechanics, written in C++ using generic and template (meta)programming techniques.