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 hierarchy.

#### Clozure CL

Clozure CL (CCL) is a Common Lisp implementation. It implements the full ANSI Common Lisp standard with several extensions (CLOS MOP, threads, CLOS conditions, CLOS streams, ...). It contains a...

Latest version of Clozure CL is 1.11 and it was released on 2015-11-06.

Tags:*Common Lisp Implementations,**Common Lisp Software,**Crossplatform Free Software,**Crossplatform Software,**Free Compilers And Interpreters,**Software Using The Apache License,**Software Using The Lgpl License*#### CLHTTP

CL-HTTP is a web server, client and proxy written in Common Lisp. It is based on its own web application framework. It was written by John C. Mallery "in about 10 days" starting in 1994 on a...

Tags:*Web Server Software,**Common Lisp Software*#### ScoreCloud by DoReMIR

ScoreCloud is a software service and web application for creating, storing, and sharing music notation, created by DoReMIR for macOS, Microsoft Windows, iPhone and iPad. The main functionality of...

Tags:*Music Software,**Crossplatform Software,**Scorewriters,**Common Lisp Software*#### CLiki

CLiki is an open source wiki application written in Common Lisp, that was under development from 2002 to 2005. CLiki was first presented at the International Lisp Conference 2002. CLiki was the...

Latest version of CLiki is 0.4.4 and it was released on 2005-05-28.

Tags:*Free Wiki Software,**Common Lisp Software,**Software Using The Mit License*#### 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*#### Mirai by Izware

Mirai is a 3D creation and editing suite available originally from Nichimen Graphics Corporation, later from Winged Edge Technologies, and currently from Izware. The modeller uses the winged edge...

Tags:*3d Graphics Software,**Common Lisp Software*#### 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*#### Macaulay2

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...

Tags:*Computer Algebra System Software For Linux,**Domainspecific Programming Languages,**Free Computer Algebra Systems*#### 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*#### 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*#### 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*#### 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*#### eww by Lars Magne Ingebrigtsen

Emacs Web Wowser (a backronym of "eww") is a web browser written entirely in Emacs Lisp. It became part of GNU Emacs starting with version 24.4. If Emacs is compiled with the suitable image...

Tags:*Free Web Browsers,**Emacs,**Crossplatform Free Software,**Free Software Programmed In Lisp,**Software Using The Gpl License,**Emacs Modes*#### Gnus by Gnus team

Gnus , or Gnus Network User Services, is a message reader which is part of GNU Emacs. It supports reading and composing both e-mail and news and can also act as an RSS reader, web processor, and...

Tags:*Free Email Software,**Email Client Software For Linux,**Macos Email Clients,**Usenet Clients,**Emacs,**Emacs Modes,**Crossplatform Free Software,**Free Software Programmed In Lisp*#### GNU Guix

GNU Guix is a package manager for the GNU System. It is based on the Nix package manager with Guile Scheme APIs and specializes in providing exclusively free...

Latest version of GNU Guix is 0.13.0 and it was released on 2017-05-22.

Tags:*2013 Software,**Free Package Management Systems,**Free Software Programmed In Lisp,**Functional Programming,**Gnu Project Software,**Linux Package Managementrelated Software*#### AUCTeX by GNU Project

AUCTeX is an extensible package for writing and formatting TeX files in Emacs and XEmacs. AUCTeX provides syntax highlighting, smart indentation and formatting, previews of mathematics and other...

Tags:*Gnu Project Software,**Emacs,**Free Tex Editors,**Free Software Programmed In Lisp,**Aalborg University,**Tex Software For Macos,**Tex Software For Windows,**Linux Tex Software,**Tex Editors*#### EMMS by GNU

EMMS (Emacs MultiMedia System) is media player software for Emacs. It is written in Emacs Lisp. The name echoes XMMS. It is derived from an earlier Emacs-based player called mp3-player. EMMS has...

Tags:*Emacs Modes,**Crossplatform Free Software,**Free Audio Software,**Free Media Players,**Free Software Programmed In Lisp*