List of computer algebra systems
Encyclopedia
General
| System | Creator | Development started | First public release | Latest stable release | Cost (USD United States dollar The United States dollar , also referred to as the American dollar, is the official currency of the United States of America. It is divided into 100 smaller units called cents or pennies.... ) |
Open source Open source The term open source describes practices in production and development that promote access to the end product's source materials. Some consider open source a philosophy, others consider it a pragmatic methodology... |
License | Notes |
|---|---|---|---|---|---|---|---|---|
| Algebrator Algebrator Algebrator is a computer algebra system , which was developed in the late 1990s by Neven Jurkovic of Softmath, San Antonio, Texas. This is a CAS specifically geared towards algebra education... |
Neven Jurkovic | 1986 | 1999 | (4.2) | $58.99 | Elementary algebra; step-by-step solutions | ||
| Axiom | Tim Daly | 1971 | 2002 | Forked Fork (software development) In software engineering, a project fork happens when developers take a legal copy of source code from one software package and start independent development on it, creating a distinct piece of software... in 2007 to OpenAxiom and FriCAS |
||||
| bergman | Jörgen Backelin | 1972 | 1972 | (0.96) | Non-commutative and commutative Gröbner bases; mainly homogeneous and non-linear; Lisp-based | |||
| Cadabra Cadabra (computer program) 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 software.... |
Kasper Peeters | 2001 | 2007 | (1.29) | tensor algebra, field theory | |||
| calc | Dave Gillespie | ? | ? | in GNU emacs 23 | Advanced calculator integrated in the Emacs Emacs Emacs is a class of text editors, usually characterized by their extensibility. GNU Emacs has over 1,000 commands. It also allows the user to combine these commands into macros to automate work.Development began in the mid-1970s and continues actively... editor. Supports a simple CAS and physical units. |
|||
| ClassPad Manager Casio ClassPad 300 The Casio ClassPad 300 is a stylus based calculator. HP worked on a pen based calculator called the HP-Xpander, as did Texas Instruments under their , yet both projects were cancelled before they were released to the market. The ClassPad comes with a collection of applications that support... |
CASIO | 1999 | 2001 | 3.03 (2008) | $45.45 | |||
| CASSIOPEIA | CASIO-MAPLE | 1997 | 2001 | (5.0) | Discontinued | Version of Maple 5 for CASSIOPEIA | ||
| CoCoA CoCoA System CoCoA is a free computer algebra system to compute with numbers and polynomials. The CoCoA Library is available under GNU General Public License. Has been ported to many operating systems including Macintosh on PPC and x86, Linux on x86, x86-64 & PPC, Sun Solaris on SPARC and Windows on x86... |
The CoCoA Team | 1987 | 1995 | (4.7.3) | For polynomial calculations | |||
| Derive | Soft Warehouse | 1979 | 1988 | (6.1) | Discontinued | Owned by TI; it was discontinued 2007 | ||
| DoCon | Serge D. Mechveliani | 1993 | 1995 | 2.11 | Haskell Haskell (programming language) Haskell is a standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing. It is named after logician Haskell Curry. In Haskell, "a function is a first-class citizen" of the programming language. As a functional programming language, the... library |
|||
| DCAS Dynamic Computer Algebra System Dcas is a dynamic computer algebra system featuring the idea of using identities as rules for manipulation of algebra. Robert Fenichel developed a system called FAMOUS in the 1970s using the LISP programming language pursuing the same aim.... |
Robert Fenichel | ? | 2005 | (1.0) | ||||
| Eigenmath | George Weigt | 2004 | 2005 | (137) | A version is available for the Nintendo DS Nintendo DS The is a portable game console produced by Nintendo, first released on November 21, 2004. A distinctive feature of the system is the presence of two separate LCD screens, the lower of which is a touchscreen, encompassed within a clamshell design, similar to the Game Boy Advance SP... |
|||
| Euler Math Toolbox | R. Grothmann | 1987 | 1988 | (12.3) | Extension of Maxima, symbolic and numeric computation, interval arithmetic | |||
| Fermat | Robert H. Lewis | 1986 | 1993 | (3.9.9x) | $60 if grant money available, otherwise $0 | polynomials, matrices | ||
| FORM FORM (symbolic manipulation system) 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... |
J.A.M. Vermaseren | 1984 | 1989 | 3.3 | high speed, arbitrary size of expressions, multi-threaded | |||
| Franklin Math | Allen Franklin Jordan | 2008 | 2009 | (0.11) | Symbolic and numeric math, plotting, functions | |||
| FriCAS | Waldek Hebisch | 2007 | 2007 | (1.1.4) | Forked Fork (software development) In software engineering, a project fork happens when developers take a legal copy of source code from one software package and start independent development on it, creating a distinct piece of software... from Axiom in 2007. |
|||
| GAP GAP computer algebra system GAP is a computer algebra system for computational discrete algebra with particular emphasis on computational group theory.-History:... |
GAP Group | 1986 | 1986 | (4.4.12) | groups, character theory, discrete mathematics | |||
| JACAL | Aubrey Jaffer | 1989 | 1991 | (1c1) | Scheme-based | |||
| Jasymca | Helmut Dersch | 2003 | 2006 | (3) | Algebra, Calculus, Polynomials, Matrices, graphing | |||
| Java Algebra System | Heinz Kredel | 2000 | 2005 | 2.0 | or LGPL | Commutative and non-commutative, Gröbner bases, gcd, Java library | ||
| KANT/KASH | KANT Group | ? | ? | KASH3 (2005/2008) | own license | algebraic number theory Algebraic number theory Algebraic number theory is a major branch of number theory which studies algebraic structures related to algebraic integers. This is generally accomplished by considering a ring of algebraic integers O in an algebraic number field K/Q, and studying their algebraic properties such as factorization,... |
||
| LiveMath LiveMath LiveMath is a computer algebra system available on a number of platforms including Mac OS, Mac OS X , Microsoft Windows, Linux and Solaris... (formerly Theorist) |
Math Monkeys | ? | 1991 | (3.5.9) | $149, $45 student (1 year) | interactive solving and graphing | ||
| Macaulay2 Macaulay2 Macaulay2 is a free computer algebra system developed by Daniel Grayson and Michael Stillman for computation in commutative algebra and algebraic geometry. Stillman, along with Dave Bayer had authored the predecessor, Macaulay. Macaulay2 uses its own high level programming language, intended to... |
Daniel Grayson and Michael Stillman | 1992 | 1994 | (1.4) | algebraic geometry, commutative algebra | |||
| Macsyma Macsyma Macsyma is a computer algebra system that was originally developed from 1968 to 1982 at MIT as part of Project MAC and later marketed commercially... |
MIT Project MAC and Symbolics Symbolics Symbolics refers to two companies: now-defunct computer manufacturer Symbolics, Inc., and a privately held company that acquired the assets of the former company and continues to sell and maintain the Open Genera Lisp system and the Macsyma computer algebra system.The symbolics.com domain was... |
1968 | 1978 | (2.4) | $500 | Lisp-based. Continues as the open-source Maxima. | ||
| Magma Magma computer algebra system 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... |
University of Sydney University of Sydney The University of Sydney is a public university located in Sydney, New South Wales. The main campus spreads across the suburbs of Camperdown and Darlington on the southwestern outskirts of the Sydney CBD. Founded in 1850, it is the oldest university in Australia and Oceania... |
~1990 | 1993 | (2.17) | $1,150 | Algebra, Cryptography, Group Theory, Number Theory | ||
| Magnus Computational Group Theory Package | The New York Group Theory Cooperative | 1994 | ? | Free/Discontinued | Infinite group theory. As of 2011-10 it is no longer available at NY GTC web page | |||
| Maple Maple (software) Maple is a general-purpose commercial computer algebra system. It was first developed in 1980 by the Symbolic Computation Group at the University of Waterloo in Waterloo, Ontario, Canada.... |
Symbolic Computation Group, University of Waterloo | 1980 | 1984 | (15.01) | $2,275 (Commercial), $2,155 (Government), $1245(Academic), $239 (Personal Edition), $99 (Student), $79 (Student, 12-Month term) | Library source code is viewable | ||
| MAS | Heinz Kredel, Michael Pesch | 1989 | ? | (1.01) | unspecified | Modula-2 source code available | ||
| Mathcad MathCad Mathcad is computer software primarily intended for the verification, validation, documentation and re-use of engineering calculations. First introduced in 1986 on DOS, it was the first to introduce live editing of typeset mathematical notation, combined with its automatic computations... |
Parametric Technology Corporation Parametric Technology Corporation Parametric Technology Corporation is a U.S.-based company that develops, markets and supports software for product development. Its main products are for CAD/CAM, engineering calculations, and product lifecycle management. Its customers include companies in manufacturing, publishing, services,... |
1985 | 1985 | (15) | $1,195 | standard mathematical notation, plotting, unit-aware calculations | ||
| MathEclipse/Symja | Axel Kramer | 2002 | 2002 | Java symbolic computing library (uses JAS and Apache Commons-Math) | ||||
| Mathematica Mathematica Mathematica is a computational software program used in scientific, engineering, and mathematical fields and other areas of technical computing... |
Wolfram Research | 1986 | 1988 | (8.0.4) | $2,495 (Professional), $1095 (Education), $140 (Student), $69.95 (Student annual license) $295 (Personal) | System also includes extensive numeric capabilities, statistics, image processing, number theory, boolean computation and is a development environment. | ||
| Mathination | Orion Math | 2010 | 2010 | (1.0) | $4.99 | Basic algebra for the iPad, with a multi-touch interface to manipulate equations. | ||
| Mathiverse Calculator | Mathiverse | 2009 | 2009 | (0.0.1) | Complex number Complex number A complex number is a number consisting of a real part and an imaginary part. Complex numbers extend the idea of the one-dimensional number line to the two-dimensional complex plane by using the number line for the real part and adding a vertical axis to plot the imaginary part... manipulation |
|||
| Mathomatic Mathomatic Mathomatic is a free, portable, general-purpose computer algebra system that can symbolically solve, simplify, combine, and compare algebraic equations, perform complex number, modular, and polynomial arithmetic, etc... |
George Gesslein II | 1986 | 1987 | (15.7.0) | Elementary algebra Elementary algebra Elementary algebra is a fundamental and relatively basic form of algebra taught to students who are presumed to have little or no formal knowledge of mathematics beyond arithmetic. It is typically taught in secondary school under the term algebra. The major difference between algebra and... , calculus Calculus Calculus is a branch of mathematics focused on limits, functions, derivatives, integrals, and infinite series. This subject constitutes a major part of modern mathematics education. It has two major branches, differential calculus and integral calculus, which are related by the fundamental theorem... , complex number Complex number A complex number is a number consisting of a real part and an imaginary part. Complex numbers extend the idea of the one-dimensional number line to the two-dimensional complex plane by using the number line for the real part and adding a vertical axis to plot the imaginary part... and polynomial Polynomial In mathematics, a polynomial is an expression of finite length constructed from variables and constants, using only the operations of addition, subtraction, multiplication, and non-negative integer exponents... manipulations. |
|||
| MathPiper | Ted Kosan, Sherm Ostrowsky | 2008 | 2010 | (.80n) | Specifically designed for use in education. | |||
| MathXpert | Michael Beeson | 1985 | 1997 | (3.0.4) | Algebra Assistant $49.95, Calculus Assistant $89.95 | Step-by-step solutions, correct graphs, keeps track of assumptions for logical correctness of results. | ||
| Maxima | MIT Project MAC and Bill Schelter Bill Schelter William Frederick Schelter was a professor of mathematics at The University of Texas at Austin and a Lisp developer and programmer. Schelter is credited with the development of the GNU Common Lisp implementation of Common Lisp and the GPL'd version of the computer algebra system Macsyma called... et al. |
1967 | 1998 | (5.25) | Common Lisp Common Lisp Common Lisp, commonly abbreviated CL, is a dialect of the Lisp programming language, published in ANSI standard document ANSI INCITS 226-1994 , . From the ANSI Common Lisp standard the Common Lisp HyperSpec has been derived for use with web browsers... -based full-featured CAS |
|||
| meditor | Raphael Jolly | 2000 | 2000 | 2.0_01 | Java symbolic computing library and math editor | |||
| Microsoft Mathematics | Microsoft Microsoft Microsoft Corporation is an American public multinational corporation headquartered in Redmond, Washington, USA that develops, manufactures, licenses, and supports a wide range of products and services predominantly related to computing through its various product divisions... |
? | 2005 | (4.0.1108) | Elementary algebra and calculus; unit conversion; graphing; step-by-step solutions | |||
| MuMATH MuMATH muMATH is a computer algebra system, which was developed in the late 1970s and early eighties by Albert D. Rich and David Stoutemyer of the Soft Warehouse in Honolulu, Hawaii. It was implemented in the muSIMP programming language which was built on top of a LISP dialect called muLISP... |
Soft Warehouse | 1970s | 1980 | MuMATH-83 | Discontinued | |||
| MuPAD MuPAD MuPAD is a computer algebra system . Originally developed by the MuPAD research group at the University of Paderborn, Germany, development was taken over by the company SciFace Software GmbH & Co... |
SciFace Software | 1989 | 2008 | (5.1) | Discontinued | MathWorks has incorporated MuPAD technology into Symbolic Math Toolbox | ||
| NCAlgebra and NCGB | Helton, deOliveira,Stankus,Miller | 1990 | 1991 | (4.0) | Non-commutative algebra in Mathematica Mathematica Mathematica is a computational software program used in scientific, engineering, and mathematical fields and other areas of technical computing... ; NCGroebner Bases; block matrices |
|||
| OpenAxiom | Gabriel Dos Reis | 2007 | 2007 | (1.4.1) | Forked Fork (software development) In software engineering, a project fork happens when developers take a legal copy of source code from one software package and start independent development on it, creating a distinct piece of software... from Axiom in 2007 |
|||
| PARI/GP PARI/GP PARI/GP is a computer algebra system with the main aim of facilitating number theory computations. It is free software; versions 2.1.0 and higher are distributed under the GNU General Public License... |
Henri Cohen, Karim Belabas, Bill Allombert et al. | 1985 | 1990 | (2.5.0) | Number theory Number theory Number theory is a branch of pure mathematics devoted primarily to the study of the integers. Number theorists study prime numbers as well... , elliptic curve Elliptic curve In mathematics, an elliptic curve is a smooth, projective algebraic curve of genus one, on which there is a specified point O. An elliptic curve is in fact an abelian variety — that is, it has a multiplication defined algebraically with respect to which it is a group — and O serves as the identity... s, arbitrary-precision arithmetic Arbitrary-precision arithmetic In computer science, arbitrary-precision arithmetic indicates that calculations are performed on numbers whose digits of precision are limited only by the available memory of the host system. This contrasts with the faster fixed-precision arithmetic found in most ALU hardware, which typically... |
|||
| Reduce | Anthony C. Hearn | 1960s | 1968 | open-sourced and freed in December 2008 | ||||
| Sage | William A. Stein William A. Stein William Arthur Stein is a professor of mathematics at the University of Washington.He is best known as the lead developer of Sage. He is known as a major proponent of open-source scientific software... |
2005 | 2005 | (4.7) | Includes extensive numeric capabilities, statistics, image processing, number theory and is a development environment using a web-based interface via HTTP or HTTPS Https Hypertext Transfer Protocol Secure is a combination of the Hypertext Transfer Protocol with SSL/TLS protocol to provide encrypted communication and secure identification of a network web server... . |
|||
| SINGULAR SINGULAR SINGULAR is a computer algebra system for polynomial computations with special emphasis on the needs of commutative algebra, algebraic geometry, and singularity theory. SINGULAR is free software released under the GNU General Public License. Problems in non-commutative algebra can be tackled with... |
University of Kaiserslautern University of Kaiserslautern The University of Kaiserslautern is a university in Kaiserslautern, Germany. It was founded in 1970 and is organized into 12 faculties.-History:... |
1984 | 1997 | (3.1.2) | polynomials, rings, ideals | |||
| SMath Studio SMath Studio SMath Studio is a freeware , closed source, mathematical notebook program similar to Mathcad. It is available for Windows, Linux, and on some handhelds, and is going to be ported to Java.Among its capabilities are:... |
Andrey Ivashov | ? | 2005 | (0.89) | Mathematical notebook program similar to Mathcad MathCad Mathcad is computer software primarily intended for the verification, validation, documentation and re-use of engineering calculations. First introduced in 1986 on DOS, it was the first to introduce live editing of typeset mathematical notation, combined with its automatic computations... |
|||
| SpaceTime Mathematics | SpaceTime Mathematics | 2006 | 2009 | (4.0) | $39, free and discontinued for Windows Mobile Devices. | Computer algebra and calculus, mobile device scientific computing | ||
| Symbolic MATLAB MATLAB MATLAB is a numerical computing environment and fourth-generation programming language. Developed by MathWorks, MATLAB allows matrix manipulations, plotting of functions and data, implementation of algorithms, creation of user interfaces, and interfacing with programs written in other languages,... Toolbox |
MathWorks | 1989 | 2008 | (5.7(2011b)) | $2900 including required MATLAB MATLAB MATLAB is a numerical computing environment and fourth-generation programming language. Developed by MathWorks, MATLAB allows matrix manipulations, plotting of functions and data, implementation of algorithms, creation of user interfaces, and interfacing with programs written in other languages,... |
Provides tools for solving and manipulating symbolic math expressions and performing variable-precision arithmetic. | ||
| SymbolicC++ SymbolicC++ SymbolicC++ is a general purpose computer algebra system embedded in the programming language C++. It is free software released under the terms of the GNU General Public License... |
W.-H. Steeb | 1997 | 1997 | (3.29) | C++ -based | |||
| SymPy SymPy SymPy is a Python library for symbolic computation. The stated goals of the library are to become a full-featured computer algebra system and to keep a simple code base to promote extensibility and comprehensibility. SymPy is written in Python.... |
Ondřej Čertík | 2006 | 2007 | (0.7.1) | Python-based | |||
| SympyCore | Pearu Peterson | 2008 | 2008 | (0.1) | Python-based | |||
| TI-Nspire CAS (Computer Software) | Texas Instruments Texas Instruments Texas Instruments Inc. , widely known as TI, is an American company based in Dallas, Texas, United States, which develops and commercializes semiconductor and computer technology... |
2006 | 2009 | 2.1 | Successor to Derive. Based on Derive's engine used in TI-89/Voyager 200 and TI-Nspire handheld | |||
| TRIP | J. Laskar, M. Gastineau | 1989 | 2002 | (1.1.12) | celestial mechanics Celestial mechanics Celestial mechanics is the branch of astronomy that deals with the motions of celestial objects. The field applies principles of physics, historically classical mechanics, to astronomical objects such as stars and planets to produce ephemeris data. Orbital mechanics is a subfield which focuses on... |
|||
| WIRIS | Maths for More | 1997 | 2001 | 2.0 | Online computer algebra system Computer algebra system A computer algebra system is a software program that facilitates symbolic mathematics. The core functionality of a CAS is manipulation of mathematical expressions in symbolic form.-Symbolic manipulations:... and interactive geometry software Interactive geometry software Interactive geometry software are computer programs which allow one to create and then manipulate geometric constructions, primarily in plane geometry. In most IGS, one starts construction by putting a few points and using them to define new objects such as lines, circles or other points... |
|||
| Xcas Xcas Xcas is a user interface to Giac, a free, basic computer algebra system for Windows, Mac OS X and Linux/Unix. Giac can be used directly inside other C++ programs.... |
Bernard Parisse | 2004 | 2008 | (0.9.4) | Compatible modes for maple, mupad and TI89 syntax. Symbolic spreadsheets, Giac library for use with other programs. ARM ports for some PDAs with Linux or WinCE | |||
| Yacas Yacas Yacas is a general-purpose computer algebra system. The name is an acronym for Yet Another Computer Algebra System.Released under the GNU General Public License, Yacas is free software.... |
Ayal Pinkus et al. | 1998 | ? | (1.3.0) | ||||
| Creator | Development started | First public release | Latest stable version | Cost (USD United States dollar The United States dollar , also referred to as the American dollar, is the official currency of the United States of America. It is divided into 100 smaller units called cents or pennies.... ) |
Open source Open source The term open source describes practices in production and development that promote access to the end product's source materials. Some consider open source a philosophy, others consider it a pragmatic methodology... |
License | Notes |
These computer algebra systems are sometimes combined with "front end" programs that provide a nice user interface, such as the general-purpose GNU TeXmacs
GNU TeXmacs
GNU TeXmacs is a free scientific word processor and typesetting component of the GNU Project. It was inspired by TeX and GNU Emacs, though it shares no code with those programs. TeXmacs does use TeX fonts. It is written and maintained by Joris van der Hoeven. The program produces structured...
.
Functionality
Below is a summary of significantly developed symbolic functionality in each of the systems.| System | Formula editor Formula editor A formula editor is a name for a computer program that is used to typeset mathematical works or formulae.Formula editors typically serve two purposes:... |
Arbitrary precision | Calculus Calculus Calculus is a branch of mathematics focused on limits, functions, derivatives, integrals, and infinite series. This subject constitutes a major part of modern mathematics education. It has two major branches, differential calculus and integral calculus, which are related by the fundamental theorem... |
Solvers Solver (computer science) A solver is a generic term indicating a piece of mathematical software, possibly in the form of a stand-alone computer program or as a software library, that 'solves' a mathematical problem. A solver takes problem descriptions in some sort of generic form and calculate their solution... |
Graph theory Graph theory In mathematics and computer science, graph theory is the study of graphs, mathematical structures used to model pairwise relations between objects from a certain collection. A "graph" in this context refers to a collection of vertices or 'nodes' and a collection of edges that connect pairs of... |
Number theory Number theory Number theory is a branch of pure mathematics devoted primarily to the study of the integers. Number theorists study prime numbers as well... |
Quantifier elimination Quantifier elimination Quantifier elimination is a concept of simplification used in mathematical logic, model theory, and theoretical computer science. One way of classifying formulas is by the amount of quantification... |
Boolean algebra | Tensors | |||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Integration Integral Integration is an important concept in mathematics and, together with its inverse, differentiation, is one of the two main operations in calculus... |
Integral transforms | Equation Equation An equation is a mathematical statement that asserts the equality of two expressions. In modern notation, this is written by placing the expressions on either side of an equals sign , for examplex + 3 = 5\,asserts that x+3 is equal to 5... s |
Inequalities | Diophantine equation Diophantine equation In mathematics, a Diophantine equation is an indeterminate polynomial equation that allows the variables to be integers only. Diophantine problems have fewer equations than unknown variables and involve finding integers that work correctly for all equations... s |
Differential equation Differential equation A differential equation is a mathematical equation for an unknown function of one or several variables that relates the values of the function itself and its derivatives of various orders... s |
Recurrence relation Recurrence relation In mathematics, a recurrence relation is an equation that recursively defines a sequence, once one or more initial terms are given: each further term of the sequence is defined as a function of the preceding terms.... s |
||||||||
| Axiom | ? | ? | ? | ? | ? | ? | ? | ? | ? | |||||
| Algebrator Algebrator Algebrator is a computer algebra system , which was developed in the late 1990s by Neven Jurkovic of Softmath, San Antonio, Texas. This is a CAS specifically geared towards algebra education... |
||||||||||||||
| Cadabra | ||||||||||||||
| FriCAS | ? | ? | ? | ? | ? | ? | ? | |||||||
| Jacal | ||||||||||||||
| Jasymca | ||||||||||||||
| Magma Magma computer algebra system 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... |
||||||||||||||
| Maple Maple (software) Maple is a general-purpose commercial computer algebra system. It was first developed in 1980 by the Symbolic Computation Group at the University of Waterloo in Waterloo, Ontario, Canada.... |
||||||||||||||
| Mathcad MathCad Mathcad is computer software primarily intended for the verification, validation, documentation and re-use of engineering calculations. First introduced in 1986 on DOS, it was the first to introduce live editing of typeset mathematical notation, combined with its automatic computations... |
||||||||||||||
| Math Eclipse | ||||||||||||||
| Mathematica Mathematica Mathematica is a computational software program used in scientific, engineering, and mathematical fields and other areas of technical computing... |
||||||||||||||
| Mathomatic Mathomatic Mathomatic is a free, portable, general-purpose computer algebra system that can symbolically solve, simplify, combine, and compare algebraic equations, perform complex number, modular, and polynomial arithmetic, etc... |
||||||||||||||
| Symbolic MATLAB MATLAB MATLAB is a numerical computing environment and fourth-generation programming language. Developed by MathWorks, MATLAB allows matrix manipulations, plotting of functions and data, implementation of algorithms, creation of user interfaces, and interfacing with programs written in other languages,... toolbox |
? | ? | ? | ? | ? | ? | ? | ? | ? | |||||
| Maxima | ||||||||||||||
| Microsoft Mathematics | ||||||||||||||
| Sage | ||||||||||||||
| SymPy SymPy SymPy is a Python library for symbolic computation. The stated goals of the library are to become a full-featured computer algebra system and to keep a simple code base to promote extensibility and comprehensibility. SymPy is written in Python.... |
||||||||||||||
| Yacas Yacas Yacas is a general-purpose computer algebra system. The name is an acronym for Yet Another Computer Algebra System.Released under the GNU General Public License, Yacas is free software.... |
||||||||||||||
| Xcas Xcas Xcas is a user interface to Giac, a free, basic computer algebra system for Windows, Mac OS X and Linux/Unix. Giac can be used directly inside other C++ programs.... |
||||||||||||||
Operating system support
The operating systemOperating system
An operating system is a set of programs that manage computer hardware resources and provide common services for application software. The operating system is the most important type of system software in a computer system...
s the software can run on natively, without emulation
Emulator
In computing, an emulator is hardware or software or both that duplicates the functions of a first computer system in a different second computer system, so that the behavior of the second system closely resembles the behavior of the first system...
. Some systems must be compiled first using an appropriate compiler for the source language and target platform.
| System | Windows Microsoft Windows Microsoft Windows is a series of operating systems produced by Microsoft.Microsoft introduced an operating environment named Windows on November 20, 1985 as an add-on to MS-DOS in response to the growing interest in graphical user interfaces . Microsoft Windows came to dominate the world's personal... |
Mac OS X Mac OS X Mac OS X is a series of Unix-based operating systems and graphical user interfaces developed, marketed, and sold by Apple Inc. Since 2002, has been included with all new Macintosh computer systems... |
Linux Linux Linux is a Unix-like computer operating system assembled under the model of free and open source software development and distribution. The defining component of any Linux system is the Linux kernel, an operating system kernel first released October 5, 1991 by Linus Torvalds... |
BSD Berkeley Software Distribution Berkeley Software Distribution is a Unix operating system derivative developed and distributed by the Computer Systems Research Group of the University of California, Berkeley, from 1977 to 1995... |
Solaris | Other |
|---|---|---|---|---|---|---|
| Algebrator Algebrator Algebrator is a computer algebra system , which was developed in the late 1990s by Neven Jurkovic of Softmath, San Antonio, Texas. This is a CAS specifically geared towards algebra education... |
||||||
| Axiom Axiom computer algebra system 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 correct type hierarchy.-History:... |
||||||
| bergman | ||||||
| Cadabra Cadabra (computer program) 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 software.... |
||||||
| ClassPad Manager Casio ClassPad 300 The Casio ClassPad 300 is a stylus based calculator. HP worked on a pen based calculator called the HP-Xpander, as did Texas Instruments under their , yet both projects were cancelled before they were released to the market. The ClassPad comes with a collection of applications that support... |
||||||
| CoCoA CoCoA System CoCoA is a free computer algebra system to compute with numbers and polynomials. The CoCoA Library is available under GNU General Public License. Has been ported to many operating systems including Macintosh on PPC and x86, Linux on x86, x86-64 & PPC, Sun Solaris on SPARC and Windows on x86... |
Tru64 UNIX Tru64 UNIX Tru64 UNIX is a 64-bit UNIX operating system for the Alpha instruction set architecture , currently owned by Hewlett-Packard . Previously, Tru64 UNIX was a product of Compaq, and before that, Digital Equipment Corporation , where it was known as Digital UNIX .As its original name suggests, Tru64... , HP-UX HP-UX HP-UX is Hewlett-Packard's proprietary implementation of the Unix operating system, based on UNIX System V and first released in 1984... , IRIX IRIX IRIX is a computer operating system developed by Silicon Graphics, Inc. to run natively on their 32- and 64-bit MIPS architecture workstations and servers. It was based on UNIX System V with BSD extensions. IRIX was the first operating system to include the XFS file system.The last major version... |
|||||
| Derive | ||||||
| DoCon | ||||||
| DCAS Dynamic Computer Algebra System Dcas is a dynamic computer algebra system featuring the idea of using identities as rules for manipulation of algebra. Robert Fenichel developed a system called FAMOUS in the 1970s using the LISP programming language pursuing the same aim.... |
||||||
| Eigenmath | ||||||
| Euler | ||||||
| Fermat | (SPARC SPARC SPARC is a RISC instruction set architecture developed by Sun Microsystems and introduced in mid-1987.... only) |
|||||
| FORM FORM (symbolic manipulation system) 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... |
||||||
| Franklin Math | Any system that supports Java Java (programming language) Java is a programming language originally developed by James Gosling at Sun Microsystems and released in 1995 as a core component of Sun Microsystems' Java platform. The language derives much of its syntax from C and C++ but has a simpler object model and fewer low-level facilities... |
|||||
| FriCAS | ||||||
| GAP GAP computer algebra system GAP is a computer algebra system for computational discrete algebra with particular emphasis on computational group theory.-History:... |
||||||
| JACAL Jacal The jacal is an adobe style housing structure historically found throughout parts of the south-western United States and Mexico. The structure was employed by some Native people of the Americas prior to European colonization and was later employed by both Hispanic and Anglo settlers in Texas and... |
||||||
| Jasymca | Any system that supports Java | |||||
| Java Algebra System | Any system that supports Java | |||||
| KANT/KASH | ||||||
| Macaulay2 Macaulay2 Macaulay2 is a free computer algebra system developed by Daniel Grayson and Michael Stillman for computation in commutative algebra and algebraic geometry. Stillman, along with Dave Bayer had authored the predecessor, Macaulay. Macaulay2 uses its own high level programming language, intended to... |
||||||
| Magma Magma computer algebra system 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... |
||||||
| Magnus | ||||||
| Maple Maple (software) Maple is a general-purpose commercial computer algebra system. It was first developed in 1980 by the Symbolic Computation Group at the University of Waterloo in Waterloo, Ontario, Canada.... |
||||||
| Mathcad MathCad Mathcad is computer software primarily intended for the verification, validation, documentation and re-use of engineering calculations. First introduced in 1986 on DOS, it was the first to introduce live editing of typeset mathematical notation, combined with its automatic computations... |
||||||
| MathEclipse | Any system that supports Java Java (programming language) Java is a programming language originally developed by James Gosling at Sun Microsystems and released in 1995 as a core component of Sun Microsystems' Java platform. The language derives much of its syntax from C and C++ but has a simpler object model and fewer low-level facilities... |
|||||
| Mathematica Mathematica Mathematica is a computational software program used in scientific, engineering, and mathematical fields and other areas of technical computing... |
||||||
| Mathomatic Mathomatic Mathomatic is a free, portable, general-purpose computer algebra system that can symbolically solve, simplify, combine, and compare algebraic equations, perform complex number, modular, and polynomial arithmetic, etc... |
All POSIX POSIX POSIX , an acronym for "Portable Operating System Interface", is a family of standards specified by the IEEE for maintaining compatibility between operating systems... platforms |
|||||
| MathXpert | ||||||
| Maxima | All POSIX platforms with Common Lisp Common Lisp Common Lisp, commonly abbreviated CL, is a dialect of the Lisp programming language, published in ANSI standard document ANSI INCITS 226-1994 , . From the ANSI Common Lisp standard the Common Lisp HyperSpec has been derived for use with web browsers... |
|||||
| Meditor | ||||||
| Microsoft Mathematics | ||||||
| MuMATH MuMATH muMATH is a computer algebra system, which was developed in the late 1970s and early eighties by Albert D. Rich and David Stoutemyer of the Soft Warehouse in Honolulu, Hawaii. It was implemented in the muSIMP programming language which was built on top of a LISP dialect called muLISP... |
||||||
| MuPAD MuPAD MuPAD is a computer algebra system . Originally developed by the MuPAD research group at the University of Paderborn, Germany, development was taken over by the company SciFace Software GmbH & Co... |
||||||
| OpenAxiom | ||||||
| PARI/GP PARI/GP PARI/GP is a computer algebra system with the main aim of facilitating number theory computations. It is free software; versions 2.1.0 and higher are distributed under the GNU General Public License... |
||||||
| Reduce | ||||||
| Sage | VMware VMware VMware, Inc. is a company providing virtualization software founded in 1998 and based in Palo Alto, California, USA. The company was acquired by EMC Corporation in 2004, and operates as a separate software subsidiary .... image for MS-Windows users |
|||||
| SINGULAR SINGULAR SINGULAR is a computer algebra system for polynomial computations with special emphasis on the needs of commutative algebra, algebraic geometry, and singularity theory. SINGULAR is free software released under the GNU General Public License. Problems in non-commutative algebra can be tackled with... |
||||||
| SMath Studio SMath Studio SMath Studio is a freeware , closed source, mathematical notebook program similar to Mathcad. It is available for Windows, Linux, and on some handhelds, and is going to be ported to Java.Among its capabilities are:... |
Many handhelds supported | |||||
| SymbolicC++ SymbolicC++ SymbolicC++ is a general purpose computer algebra system embedded in the programming language C++. It is free software released under the terms of the GNU General Public License... |
||||||
| Symbolic MATLAB MATLAB MATLAB is a numerical computing environment and fourth-generation programming language. Developed by MathWorks, MATLAB allows matrix manipulations, plotting of functions and data, implementation of algorithms, creation of user interfaces, and interfacing with programs written in other languages,... toolbox |
||||||
| SymPy SymPy SymPy is a Python library for symbolic computation. The stated goals of the library are to become a full-featured computer algebra system and to keep a simple code base to promote extensibility and comprehensibility. SymPy is written in Python.... |
Any system that supports Python Python (programming language) Python is a general-purpose, high-level programming language whose design philosophy emphasizes code readability. Python claims to "[combine] remarkable power with very clear syntax", and its standard library is large and comprehensive... |
|||||
| SympyCore | Any system that supports Python | |||||
| TI-Nspire (desktop software) | ||||||
| WIRIS | ||||||
| Xcas Xcas Xcas is a user interface to Giac, a free, basic computer algebra system for Windows, Mac OS X and Linux/Unix. Giac can be used directly inside other C++ programs.... |
||||||
| Yacas Yacas Yacas is a general-purpose computer algebra system. The name is an acronym for Yet Another Computer Algebra System.Released under the GNU General Public License, Yacas is free software.... |
||||||
| TRIP | ||||||
| Windows | Mac OS X | Linux | BSD | Solaris | Other |
Hand-held calculator CAS
| System | Creator | Development started | First public release | Latest stable version | Cost (USD United States dollar The United States dollar , also referred to as the American dollar, is the official currency of the United States of America. It is divided into 100 smaller units called cents or pennies.... ) |
Open source Open source The term open source describes practices in production and development that promote access to the end product's source materials. Some consider open source a philosophy, others consider it a pragmatic methodology... |
License | Notes |
|---|---|---|---|---|---|---|---|---|
| Alg48 & Erable | Bernard Parisse | 1996 | 1998 | 3.2 | Free | Symbolic Math packages for HP48 series | ||
| Casio CFX-9970G | CASIO Computer Co. Casio is a multinational electronic devices manufacturing company founded in 1946, with its headquarters in Shibuya, Tokyo, Japan. Casio is best known for its electronic products, such as calculators, audio equipment, PDAs, cameras, musical instruments, and watches... |
1998 | ||||||
| Casio Algebra FX 2.0 | CASIO Computer Co. | 1999 | ||||||
| Casio ClassPad 330 | CASIO Computer Co. | 2003 | 3.04.5000 | $140 | There is also an emulator: "ClassPad Manager" which runs on a PC. | |||
| Eigenmath DS | Leonel Hernandez | 2008 | 2008 | 1.0 | Free | This software runs on a Nintendo DS Nintendo DS The is a portable game console produced by Nintendo, first released on November 21, 2004. A distinctive feature of the system is the presence of two separate LCD screens, the lower of which is a touchscreen, encompassed within a clamshell design, similar to the Game Boy Advance SP... |
||
| HP 49 series | Hewlett-Packard Hewlett-Packard Hewlett-Packard Company or HP is an American multinational information technology corporation headquartered in Palo Alto, California, USA that provides products, technologies, softwares, solutions and services to consumers, small- and medium-sized businesses and large enterprises, including... |
1999 | 2.15 | $110 and up | There are several different definitions for open source Open source The term open source describes practices in production and development that promote access to the end product's source materials. Some consider open source a philosophy, others consider it a pragmatic methodology... . While the source code of the HP49 CAS is available to the public, the use of certain parts of it is restricted by a proprietary license. Therefore, the source code does not qualify under all definitions of open source as such. |
with some LGPL | Based on Erable. Intended for problems which occur in engineering applications. Also used in HP-50 calculators. | |
| iCAS | AL Software | 2010 | 2010 | 1.1.2 | $15 | Native iPhone and iPad implementation of REDUCE. | ||
| i41CX+ | AL Software | 2008 | 2008 | 4.8.1 | $25 | iPhone and iPad application that combines the capabilities of the HP-41CX with a CAS based on REDUCE. | ||
| TI-89 | Texas Instruments Texas Instruments Texas Instruments Inc. , widely known as TI, is an American company based in Dallas, Texas, United States, which develops and commercializes semiconductor and computer technology... |
1996 | 2.09 | No longer in production | ||||
| TI-89 Titanium | Texas Instruments | 2004 | 3.10 | $150 | ||||
| TI-92 | Texas Instruments | 1995 | No longer in production | |||||
| TI-92 Plus | Texas Instruments | 1997 | 1998 | 2.09 | No longer in production | |||
| TI-Nspire CAS TI-Nspire CAS The TI-Nspire product line is a series of graphing calculators developed by Texas Instruments. This line currently includes the TI-Nspire, TI-Nspire CAS, TI-Nspire CX and TI-Nspire CX CAS. There is also software available for Windows and Mac OS X that act in simlar ways to the calculators and allow... |
Texas Instruments | 2006 | 2008 | 2.0.1.60 | $160 | TI-Nspire CAS handheld has a built-in Computer Algebra System for mathematical expressions in symbolic form. Features include: Symbolic calculations in addition to standard numeric calculations | ||
| Voyage 200 | Texas Instruments | 2001 | 2002 | 3.10 | $150 | |||
| ZoomMath300 | IQ Joe | ? | 1.03 | $60 | TI-83 and TI-84 application that adds CAS capabilities |
See also
- Mathematical softwareMathematical softwareMathematical software is software used to model, analyze or calculate numeric, symbolic or geometric data.-Computer algebra systems:Many mathematical suites are computer algebra systems that use symbolic mathematics. They are designed to solve classical algebra equations and problems in human...
- List of information graphics software
- List of numerical analysis software
- List of statistical packages
- Comparison of numerical analysis softwareComparison of numerical analysis softwareThe following tables provide a comparison of numerical analysis software.- General :- Operating system support :The operating systems the software can run on natively .- Language features :Colors indicate features available as...
- Comparison of statistical packagesComparison of statistical packagesThe following tables compare general and technical information for a number of statistical analysis packages.-General information:Basic information about each product...
- Web-based simulation
External links
There are various lists of computer algebra systems available on-line:- http://directory.google.com/Top/Science/Math/Algebra/Software/
- http://www.cs.ru.nl/~freek/digimath/xindex.html
- http://www.mat.univie.ac.at/~slc/divers/software.html
- Use Maxima in a web browser without downloading any software
- http://orms.mfo.de/about
- Rosetta Translations: a collection of synonyms for various operations in the computer algebra systems