Macaulay2 is a free computer algebra system developed by Daniel Grayson (UIUC) and Michael Stillman (Cornell) for computation in commutative algebra and algebraic geometry. Stillman, along with Dave Bayer who had authored the predecessor, Macaulay. Macaulay2 uses its own high level programming language, intended to closely match the syntax used by mathematicians in the field. Both are published under the GNU General Public License version 2.

In a 2006 interview, Andrei Okounkov cited Macaulay2 along with TeX as a successful open source project used in mathematics and suggested that funding agencies look into and learn from these examples.

Macaulay2 can use emacs GNU TeXmacs.

#### Fermat by Robert H. Lewis

Fermat (named after Pierre de Fermat) is a freeware program developed by Prof. Robert H. Lewis of Fordham University. It is a computer algebra system, in which items being computed can be integers...

Latest version of Fermat is 6.17 and it was released on 2017-07-12.

Tags:*C Software,**Computer Algebra System Software For Linux,**Computer Algebra Systems,**Proprietary Freeware For Linux*#### MuPAD by The Mathworks Inc.

MuPAD is a computer algebra system (CAS). Originally developed by the MuPAD research group at the University of Paderborn, Germany, development was taken over by the company SciFace Software GmbH &...

Tags:*2008 Disestablishments,**Computer Algebra System Software For Linux,**Computer Algebra Systems,**Discontinued Software,**Products Introduced In 1997,**Proprietary Commercial Software For Linux*#### LiveMath by {{URL|www.mathmonkeys.com|MathMonkeys}}

LiveMath is a computer algebra system available on a number of platforms including Mac OS, macOS (Carbon), Microsoft Windows, Linux (x86) and Solaris (SPARC). It is the latest release of a system...

Latest version of LiveMath is 3.5.9 and it was released on July 2007.

Tags:*Computer Algebra System Software For Linux,**Computer Algebra System Software For Windows,**Computer Algebra System Software For Macos,**Proprietary Commercial Software For Linux*#### Yacas by Ayal Pinkus et al.

Yacas is a general-purpose computer algebra system. The name is an acronym for Yet Another Computer Algebra System. Released under the GNU Lesser General Public License, Yacas is free...

Latest version of Yacas is 1.6.1 and it was released on 2016-11-08.

Tags:*Computer Algebra System Software For Linux,**Free Computer Algebra Systems,**Free Software Programmed In C*#### Reduce by Anthony C. Hearn et al.

Reduce is a general-purpose computer algebra system geared towards applications in physics. The development of the Reduce computer algebra system was started in the 1960s by Anthony C. Hearn. Since...

Tags:*Computer Algebra System Software For Linux,**Computer Algebra Systems,**Formerly Proprietary Software,**Free Computer Algebra Systems,**Free Software Programmed In Lisp*#### KANT

KANT is a computer algebra system for mathematicians interested in algebraic number theory, performing sophisticated computations in algebraic number fields, in global function fields, and in local...

Latest version of KANT is 3 and it was released on 2008-07-31.

Tags:*Computer Algebra System Software For Linux,**Computer Algebra Systems,**Proprietary Freeware For Linux*#### Axiom by Independent group of people

Axiom is a free, general-purpose computer algebra system. It consists of an interpreter environment, a compiler and a library, which defines a strongly typed, mathematically (mostly) correct type...

Tags:*Common Lisp Software,**Computer Algebra System Software For Linux,**Free Computer Algebra Systems,**Free Software Programmed In Lisp*#### Singular by University of Kaiserslautern

Singular (typeset Singular) is a computer algebra system for polynomial computations with special emphasis on the needs of commutative and non-commutative algebra, algebraic geometry, and...

Latest version of Singular is 4-1-0 and it was released on 2016-11-21.

Tags:*Computer Algebra System Software For Linux,**Computer Algebra System Software For Macos,**Computer Algebra System Software For Windows,**Free Computer Algebra Systems*#### Magma by Computational Algebra Group, School of Mathematics and Statistics,University of Sydney

Magma is a computer algebra system designed to solve problems in algebra, number theory, geometry and combinatorics. It is named after the algebraic structure magma. It runs on Unix-like operating...

Latest version of Magma is 2.21-6 and it was released on 2015-09-10.

Tags:*Computer Algebra System Software For Linux,**Computer Algebra System Software For Macos,**Computer Algebra System Software For Windows,**Crossplatform Software,**Functional Languages,**Numerical Programming Languages,**Proprietary Commercial Software For Linux*#### GAP by {{plainlist| * University of St Andrews,RWTH Aachen,Technische Universität Braunschweig,Colorado State University }}

GAP (Groups, Algorithms and Programming) is a computer algebra system for computational discrete algebra with particular emphasis on computational group...

Latest version of GAP is 4.8.7 and it was released on 2017-03-24.

Tags:*Computer Algebra System Software For Linux,**Computer Algebra System Software For Macos,**Computer Algebra System Software For Windows,**Free Computer Algebra Systems*#### Normaliz

Normaliz is a free computer algebra system developed by Winfried Bruns, Robert Koch (1998-2002), Bogdam Ichim (2007/08) and Christof Soeger (2009-2016). It is published under the GNU General Public...

Tags:*Computer Algebra System Software For Linux,**Computer Algebra System Software For Macos,**Computer Algebra System Software For Windows,**Crossplatform Free Software,**Free Computer Algebra Systems,**Computer Algebra Systems*#### PARIGP by Henri Cohen, Karim Belabas, et al., at the Université Bordeaux 1

PARI/GP is a computer algebra system with the main aim of facilitating number theory computations. Versions 2.1.0 and higher are distributed under the GNU General Public License. It runs on most...

Latest version of PARI/GP is 2.9.2 and it was released on 2017-03-22.

Tags:*1985 Software,**C Libraries,**Commandline Software,**Computer Algebra System Software For Linux,**Crossplatform Free Software,**Free Computer Algebra Systems,**Free Software Programmed In C,**Portable Software*#### Maple by Waterloo Maple (Maplesoft)

Maple is a symbolic and numeric computing environment, and is also a multi-paradigm programming language. Developed by Maplesoft, Maple also covers other aspects of technical computing, including...

Latest version of Maple is 2017 and it was released on 2017-05-25.

Tags:*C Software,**Computational Notebook,**Computer Algebra System Software For Linux,**Computer Algebra System Software For Macos,**Computer Algebra System Software For Windows,**Crossplatform Software,**Functional Languages,**Irix Software,**Maplesoft,**Numerical Programming Languages,**Plotting Software,**Products Introduced In 1982,**Proprietary Commercial Software For Linux*#### Macaulay

Macaulay is a computer algebra system for doing polynomial computations, particularly Gröbner basis calculations. Macaulay is designed for solving problems in commutative algebra and algebraic...

Tags:*Computer Algebra System Software For Linux,**Computer Algebra Systems,**Free Software Programmed In C*#### MapleSim by Maplesoft

MapleSim is a Modelica-based, multi-domain modeling and simulation tool developed by Maplesoft. MapleSim generates model equations, runs simulations, and performs analyses using the symbolic and...

Tags:*Maplesoft,**Plotting Software,**Mathematical Optimization Software,**Computer Algebra System Software For Linux,**Computer Algebra System Software For Windows,**Computer Algebra System Software For Macos,**Crossplatform Software,**Simulation Software*#### Mathomatic by George Gesslein II

Mathomatic is a free, portable, general-purpose computer algebra system (CAS) that can symbolically solve, simplify, combine, and compare algebraic equations, and can perform complex number,...

Latest version of Mathomatic is 16.0.5 and it was released on 2012-10-21.

Tags:*1987 Software,**Android Software,**C Libraries,**Commandline Software,**Computer Algebra System Software For Linux,**Computer Algebra System Software For Macos,**Computer Algebra System Software For Windows,**Crossplatform Free Software,**Embedded Linux,**Free Computer Algebra Systems,**Free Educational Software,**Free Software Programmed In C,**Ios Software,**Nintendo Ds Homebrew,**Portable Software*#### Xcas by Bernard Parisse

Xcas is a user interface to Giac, a free, basic Computer Algebra System (CAS) for Windows, macOS and Linux/Unix. Giac can be used directly inside software written in C++. Xcas and Giac are...

Latest version of Xcas is 1.2.3 and it was released on {{release date|2017|01|df=yes}}.

Tags:*C Libraries,**Computer Algebra System Software For Linux,**Computer Algebra System Software For Macos,**Computer Algebra System Software For Windows,**Free Computer Algebra Systems,**Free Mathematics Software,**Free Software Programmed In C,**Mathematical Software*#### SymPy by Independent group of people

SymPy is a Python library for symbolic computation. It provides computer algebra capabilities either as a standalone application, as a library to other applications, or live on the web as SymPy Live...

Latest version of SymPy is 1.1.1 and it was released on 2017-07-22.

Tags:*Articles With Example Python Code,**Computer Algebra System Software For Linux,**Computer Algebra System Software For Macos,**Computer Algebra System Software For Windows,**Free Computer Algebra Systems,**Free Mathematics Software,**Free Software Programmed In Python,**Python Scientific Libraries*#### SageMath

SageMath (previously Sage or SAGE, "System for Algebra and Geometry Experimentation") is mathematical software with features covering many aspects of mathematics, including algebra, combinatorics,...

Latest version of SageMath is 8.0 and it was released on 2017-07-21.

Tags:*Articles With Example Python Code,**Computer Algebra System Software For Linux,**Computer Algebra System Software For Macos,**Computer Algebra System Software For Windows,**Free And Opensource Android Software,**Free Computer Algebra Systems,**Free Educational Software,**Free Mathematics Software,**Free Software Programmed In Python,**Mathematical Software,**Python Scientific Libraries*#### Maxima by Macsyma group at Project MAC and volunteer contributors

Maxima is a computer algebra system (CAS) based on a 1982 version of Macsyma. It is written in Common Lisp and runs on all POSIX platforms such as macOS, Unix, BSD, and Linux, as well as under...

Latest version of Maxima is 5.40.0 and it was released on 2017-05-30.

Tags:*Common Lisp Software,**Computer Algebra System Software For Linux,**Computer Algebra System Software For Macos,**Computer Algebra System Software For Windows,**Crossplatform Free Software,**Free Computer Algebra Systems,**Free Educational Software,**Free Software Programmed In Lisp,**Software That Uses Wxwidgets*#### Cantor by KDE Education Project

Cantor is a free software mathematics application for scientific statistics and analysis. It is part of the KDE Software Compilation 4, and was introduced with the 4.4 release as part of the KDE...

Latest version of Cantor is 17.08.0 and it was released on 2017-08-17.

Tags:*Computational Notebook,**Computer Algebra System Software For Linux,**Computer Algebra System Software For Macos,**Computer Algebra System Software For Windows,**Educational Math Software,**Free Computer Algebra Systems,**Free Educational Software,**Kde Education Project,**Science Software That Uses Qt*#### MATLAB by MathWorks

MATLAB (matrix laboratory) is a multi-paradigm numerical computing environment. A proprietary programming language developed by MathWorks, MATLAB allows matrix manipulations, plotting of functions...

Latest version of MATLAB is R2017b and it was released on 2017-09-20.

Tags:*Array Programming Languages,**Articles With Example Matlaboctave Code,**C Software,**Computer Algebra System Software For Linux,**Computer Algebra System Software For Macos,**Computer Algebra System Software For Windows,**Computer Algebra Systems,**Computer Vision Software,**Crossplatform Software,**Data Mining And Machine Learning Software,**Data Visualization Software,**Datacentric Programming Languages,**Dynamically Typed Programming Languages,**Econometrics Software,**Highlevel Programming Languages,**Irix Software,**Linear Algebra,**Mathematical Optimization Software,**Numerical Analysis Software For Linux,**Numerical Analysis Software For Macos,**Numerical Analysis Software For Windows,**Numerical Linear Algebra,**Numerical Programming Languages,**Numerical Software,**Parallel Computing,**Plotting Software,**Proprietary Commercial Software For Linux,**Proprietary Crossplatform Software,**Regression And Curve Fitting Software,**Software Modeling Language,**Statistical Programming Languages,**Time Series Software*#### Wolfram Mathematica by Wolfram Research

Wolfram Mathematica (usually termed Mathematica, Mathematica software suite) is a mathematical symbolic computation program, sometimes termed a computer algebra system or program, used in many...

Tags:*1988 Software,**Astronomical Databases,**Computational Notebook,**Computer Algebra System Software For Linux,**Computer Algebra System Software For Macos,**Computer Algebra System Software For Windows,**Computer Algebra Systems,**Crossplatform Software,**Data Mining And Machine Learning Software,**Earth Sciences Graphics Software,**Econometrics Software,**Formula Editors,**Interactive Geometry Software,**Mathematical Optimization Software,**Mathematical Software,**Numerical Analysis Software For Linux,**Numerical Analysis Software For Macos,**Numerical Analysis Software For Windows,**Numerical Programming Languages,**Numerical Software,**Physics Software,**Pirelated Software,**Plotting Software,**Proprietary Commercial Software For Linux,**Proprietary Crossplatform Software,**Regression And Curve Fitting Software,**Simulation Programming Languages,**Software That Uses Qt,**Statistical Programming Languages,**Theorem Proving Software Systems,**Time Series Software,**Wolfram Research*#### Speakeasy by Speakeasy Computing Corporation

Speakeasy is a numerical computing interactive environment also featuring an interpreted programming language. It was initially developed for internal use at the Physics Division of Argonne National...

Latest version of Speakeasy is IV Iota and it was released on 2006.

Tags:*Data Analysis Software,**Mathematical Software,**Physics Software,**Proprietary Crossplatform Software,**Numerical Analysis Software For Linux,**Numerical Analysis Software For Macos,**Numerical Analysis Software For Windows,**Computer Algebra System Software For Windows,**Computer Algebra System Software For Macos,**Computer Algebra System Software For Linux,**Array Programming Languages,**Numerical Programming Languages,**Numerical Linear Algebra,**Statistical Programming Languages,**Simulation Programming Languages,**Programming Languages Created In 1964*#### Inform by Graham Nelson

Inform is a programming language and design system for interactive fiction originally created in 1993 by Graham Nelson. Inform can generate programs designed for the Z-code or Glulx virtual...

Latest version of Inform is 7 6M62 and it was released on 2015-12-24.

Tags:*1993 Software,**Interactive Fiction,**Freeware,**Domainspecific Programming Languages,**Video Game Development Software,**Text Adventure Game Engines*#### Bash

Bash is a Unix shell and command language written by Brian Fox for the GNU Project as a free software replacement for the Bourne shell. First released in 1989, it has been distributed widely as the...

Latest version of Bash is 4.4.12 and it was released on 2017-01-27.

Tags:*1989 Software,**Crossplatform Free Software,**Domainspecific Programming Languages,**Free Software Programmed In C,**Gnu Project Software,**Scripting Languages,**Textoriented Programming Languages,**Unix Shells*#### GLE

Graphics Layout Engine (GLE) is a graphics scripting language designed for creating publication quality graphs, plots, diagrams, figures and slides. GLE supports various graph types such as function...

Latest version of GLE is 4.2.5f and it was released on 2015-08-18.

Tags:*Domainspecific Programming Languages,**Free Graphics Software,**Free Plotting Software,**Free Software Programmed In C,**Free Tex Software,**Vector Graphics*#### HyperFun by Valery Adzhiev,Alexander Pasko,Anatoly Ossipov,Eric Fausett,Oleg Fryazinov, et al.

HyperFun (from Hyperdimensional Functions) is a programming language and software used to create, visualize, and fabricate volumetric 3D and higher-dimensional models. The team maintaining the...

Tags:*Geometric Algorithms,**Free 3d Graphics Software,**Domainspecific Programming Languages*#### LabWindowsCVI by National Instruments

LabWindows/CVI (CVI is short for C for Virtual Instrumentation) is an ANSI C programming environment for test and measurement developed by National Instruments. The program was originally released...

Latest version of LabWindows/CVI is 2015 and it was released on {{Start date and age|2015|08}}.

Tags:*Integrated Development Environments,**Domainspecific Programming Languages,**C Compilers,**Data Analysis Software,**Numerical Software,**Crossplatform Software*#### POVRay by The POV-Team

The Persistence of Vision Ray Tracer, or POV-Ray, is a ray tracing program which generates images from a text-based scene description, and is available for a variety of computer platforms. It was...

Latest version of POV-Ray is 3.7.0 and it was released on 2013-11-09.

Tags:*3d Graphics Software,**Amiga Raytracers,**Articles With Example Code,**Crossplatform Software,**Domainspecific Programming Languages,**Free 3d Graphics Software,**Free Graphics Software,**Free Software Programmed In C,**Global Illumination Software,**Rendering Systems,**Software Using The Gnu Agpl License*#### Cadabra by Kasper Peeters

Cadabra is a computer algebra system designed specifically for the solution of problems encountered in field theory. Released under the GNU General Public License, Cadabra is free...

Latest version of Cadabra is 2.1.5 and it was released on 2017-08-06.

Tags:*Free Computer Algebra Systems,**Free Physics Software,**Free Software Programmed In C*#### FORM by Jos Vermaseren, et al.

FORM is a symbolic manipulation system. It reads text files containing definitions of mathematical expressions as well as statements that tell it how to manipulate these expressions. Its original...

Tags:*Computer Algebra Systems,**Free Computer Algebra Systems,**Free Software Programmed In C,**Mathematical Software,**Physics Software,**Science Software*#### Erable by Bernard Parisse,,Mika Heiskanen,,Claude-Nicolas Fiechter

Erable is a computer algebra system (CAS) for a family of Hewlett-Packard graphing scientific calculators of the HP 40, 48 and HP 49/50...

Latest version of Erable is 4.20060919 (2006-09-19) and it was released on 2009-04-21/2012-04-26.

Tags:*Free Computer Algebra Systems,**Free Mathematics Software,**Mathematical Software*