- Applied mathematics
- >
- Algorithms
- >
- Computer algebra
- >
- Computer algebra systems

- Applied mathematics
- >
- Computational mathematics
- >
- Computer algebra
- >
- Computer algebra systems

- Fields of mathematics
- >
- Algebra
- >
- Computer algebra
- >
- Computer algebra systems

- Fields of mathematics
- >
- Computational mathematics
- >
- Computer algebra
- >
- Computer algebra systems

- Mathematical logic
- >
- Algorithms
- >
- Computer algebra
- >
- Computer algebra systems

- Mathematical tools
- >
- Mathematical software
- >
- Software calculators
- >
- Computer algebra systems

- Mathematics
- >
- Mathematical tools
- >
- Mathematical software
- >
- Computer algebra systems

- Mathematics of computing
- >
- Mathematical software
- >
- Software calculators
- >
- Computer algebra systems

- Theoretical computer science
- >
- Algorithms
- >
- Computer algebra
- >
- Computer algebra systems

- Theoretical computer science
- >
- Mathematics of computing
- >
- Mathematical software
- >
- Computer algebra systems

WolframAlpha

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

© 2023 Useful Links.