Category: Computer algebra systems

WolframAlpha (/ˈwʊlf.rəm-/ WUULf-rəm-) is an answer engine developed by Wolfram Research. It answers factual queries by computing answers from externally sourced data. WolframAlpha was released on May
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 Li
Derive (computer algebra system)
Derive was a computer algebra system, developed as a successor to muMATH by the Soft Warehouse in Honolulu, Hawaii, now owned by Texas Instruments. Derive was implemented in muLISP, also by Soft Wareh
TI-92 series
The TI-92 series of graphing calculators are a line of calculators produced by Texas Instruments. They include: the TI-92 (1995), the TI-92 II (1996), the TI-92 Plus (1998, 1999) and the Voyage 200 (2
Magnus (computer algebra system)
Magnus was a computer algebra system designed to solve problems in group theory. It was designed to run on Unix-like operating systems, as well as Windows. The development process was started in 1994
MATLAB (an abbreviation of "MATrix LABoratory") is a proprietary multi-paradigm programming language and numeric computing environment developed by MathWorks. MATLAB allows matrix manipulations, plott
TI InterActive!
TI InterActive! is a Texas Instruments computer program which combines the functionality of all of the TI graphing calculators with extra features into a text editor which allows you to save equations
KANT (software)
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 fi
Schoonschip was one of the first computer algebra systems, developed in 1963 by Martinus J. G. Veltman, for use in particle physics. "Schoonschip" refers to the Dutch expression "schoon schip maken":
HP Prime
The HP Prime Graphing Calculator is a graphing calculator introduced by Hewlett-Packard in 2013 and currently manufactured by HP Inc. It was designed with features resembling those of smartphones, suc
TI-Nspire series
The TI-Nspire is a graphing calculator made by Texas Instruments, which was released in July 2007, notable for featuring a non-QWERTY keyboard and a different key-by-key layout than its predecessors.
List of computer algebra systems
The following tables provide a comparison of computer algebra systems (CAS). A CAS is a package comprising a set of algorithms for performing symbolic manipulations on algebraic objects, a language to
Algebrator (also called Softmath) is a computer algebra system (CAS), which was developed in the late 1990s by Neven Jurkovic of Softmath, San Antonio, Texas. This is a CAS specifically geared towards
ALTRAN (ALgebraic TRANslator) is a programming language for the formal manipulation of rational functions of several variables with integer coefficients. It was developed at Bell Labs in 1960s. ALTRAN
AIMMS (acronym for Advanced Interactive Multidimensional Modeling System) is a prescriptive analytics software company with offices in the Netherlands, United States, China and Singapore. It has two m
Reduce (computer algebra system)
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 th
HP 49/50 series
The HP 49/50 series are Hewlett-Packard (HP) manufactured graphing calculators. They are the successors of the popular HP 48 series. There are five calculators in the 49/50 series of HP graphing calcu
SMP (computer algebra system)
Symbolic Manipulation Program, usually called SMP, was a computer algebra system designed by and Stephen Wolfram at Caltech circa 1979. It was initially developed in the Caltech physics department wit
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. Its original auth
MATHLAB is a computer algebra system created in 1964 by Carl Engelman at MITRE and written in Lisp. "MATHLAB 68" was introduced in 1967 and became rather popular in university environments running on
Analytica (software)
Analytica is a visual software developed by Lumina Decision Systems for creating, analyzing and communicating quantitative decision models. It combines hierarchical influence diagrams for visual creat
Tensor software
Tensor software is a class of mathematical software designed for manipulation and calculation with tensors.
Cambridge Algebra System
Cambridge Algebra System (CAMAL) is a computer algebra system written in Cambridge University by David Barton, Steve Bourne, and John Fitch. It was initially used for computations in celestial mechani
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 & Co
Maple (software)
Maple is a symbolic and numeric computing environment as well as a multi-paradigm programming language. It covers several areas of technical computing, such as symbolic mathematics, numerical analysis
SAMPL, which stands for "Stochastic AMPL", is an algebraic modeling language resulting by expanding the well-known language AMPL with extended syntax and keywords. It is designed specifically for repr
SMath Studio
SMath Studio is a freeware (free of charge, but not libre), closed-source, mathematical notebook program similar to Mathcad. It is available for Windows, Linux, iOS, Android, Universal Windows Platfor
GEMPACK (General Equilibrium Modelling PACKage) is a modeling system for CGE economic models, used at the Centre of Policy Studies (CoPS) in Melbourne, Australia, and sold to other CGE modellers. Some
AMPL (A Mathematical Programming Language) is an algebraic modeling language to describe and solve high-complexity problems for large-scale mathematical computing (i.e., large-scale optimization and s
Wolfram Mathematica
Wolfram Mathematica is a software system with built-in libraries for several areas of technical computing that allow machine learning, statistics, symbolic computation, data manipulation, network anal
Mathcad is computer software for the verification, validation, documentation and re-use of mathematical calculations in engineering and science, notably mechanical, chemical, electrical, and civil eng
General algebraic modeling system
The general algebraic modeling system (GAMS) is a high-level modeling system for mathematical optimization. GAMS is designed for modeling and solving linear, nonlinear, and mixed-integer optimization
TI-89 series
The TI-89 and the TI-89 Titanium are graphing calculators developed by Texas Instruments (TI). They are differentiated from most other TI graphing calculators by their computer algebra system, which a
Lisp Algebraic Manipulator
The Lisp Algebraic Manipulator (also known as LAM) was created by , who had written Atlas LISP Algebraic Manipulation (ALAM was designed in 1970). LAM later became the basis for the interactive comput
RunGEM is a freeware component of the commercial modelling package, Gempack. It is mainly used for solving (i.e., simulating with) computable general equilibrium (CGE) models. It does not allow a user
Macsyma (/ˈmæksɪmə/; "Project MAC's SYmbolic MAnipulator") is one of the oldest general-purpose computer algebra systems still in wide use. It was originally developed from 1968 to 1982 at MIT's Proje
FORMAC, the FORmula MAnipulation Compiler, was the first computer algebra system to have significant use. It was developed by Jean E. Sammet and her team, as an extension of FORTRAN IV. The compiler w
muMATH is a computer algebra system (CAS), which was developed in the late 1970s and early eighties by Albert D. Rich and David Stoutemyer of Soft Warehouse in Honolulu, Hawaii. It was implemented in
Fermat (computer algebra system)
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 (of
Algebraic modeling language
Algebraic modeling languages (AML) are high-level computer programming languages for describing and solving high complexity problems for large scale mathematical computation (i.e. large scale optimiza
Triangular decomposition
In computer algebra, a triangular decomposition of a polynomial system S is a set of simpler polynomial systems S1, ..., Se such that a point is a solution of S if and only if it is a solution of one
Wolfram Language
The Wolfram Language (/ˈwʊlfrəm/ WUUL-frəm) is a general multi-paradigm programming language developed by Wolfram Research. It emphasizes symbolic computation, functional programming, and rule-based p
Computer algebra system
A computer algebra system (CAS) or symbolic algebra system (SAS) is any mathematical software with the ability to manipulate mathematical expressions in a way similar to the traditional manual computa
WIRIS is a company, legally registered as Maths for More, providing a set of proprietary HTML-based JavaScript tools which can author and edit mathematical formulas, execute mathematical problems and
SIGSAM is the ACM Special Interest Group on Symbolic and Algebraic Manipulation. It publishes the and often sponsors the International Symposium on Symbolic and Algebraic Computation (ISSAC).
mXparser is an open-source mathematical expressions parser/evaluator providing abilities to calculate various expressions at a run time. Expressions definitions are given as plain text, then verified