# Category:Computer algebra systems

Here is a list of articles in the Computer algebra systems category of the Software portal. A **computer algebra system (CAS)** or **symbolic computation system** is a system of software packages that facilitates symbolic mathematics. Typically, these systems include

- arbitrary precision (bignum) arithmetic, allowing for instance to evaluate pi to 10,000 digits.
- symbolic manipulation engine, to simplify algebraic expressions, differentiate and integrate functions and solve equations
- graphing facility, to produce graphs of functions, typically in two and three dimensions
- linear algebra subsystem, to allow matrix computations and solving of systems of linear equations
- high level programming language, allowing users to implement their own algorithms

More advanced examples usually include more sophisticated tools, including Gröbner basis packages for manipulating ideals in polynomial rings, which is essential for many advanced real-world applications involving differential equations, robotics, and so forth, as well as packages for working at a high level with vectors and tensors.

## Subcategories

This category has the following 4 subcategories, out of 4 total.

### C

### F

## Pages in category "Computer algebra systems"

The following 50 pages are in this category, out of 50 total.

- Computer algebra system
*(software)*

### A

- AIMMS
*(finance)* - Algebraic modeling language
*(software)* - Algebrator
*(software)* - ALTRAN
*(software)* - AMPL
*(software)* - Analytica
*(software)*

### C

- Cambridge Algebra System
*(software)* - Jasymca
*(computing)* - JMathLab
*(computing)* - List of computer algebra systems
*(software)* - CPMP-Tools
*(software)*

### D

- Derive (computer algebra system)
*(software)*

### F

- Fermat (computer algebra system)
*(software)* - FORM (symbolic manipulation system)
*(software)* - FORMAC
*(software)*

### G

- Gempack
*(finance)* - General Algebraic Modeling System
*(software)*

### H

- HP Prime
*(software)*

### K

- KANT
*(software)*

### L

- Lisp Algebraic Manipulator
*(software)*

### M

- Macaulay computer algebra system
*(software)* - Macsyma
*(software)* - Magnus (computer algebra system)
*(software)* - Maple
*(software)* - Mathcad
*(software)* - MATHLAB
*(software)* - MATLAB
*(software)* - MuMATH
*(software)* - MuPAD
*(software)* - Mxparser
*(software)*

### N

- Normaliz
*(software)*

### R

- Reduce (computer algebra system)
*(software)* - RegularChains
*(software)* - RunGEM
*(software)*

### S

- SAMPL
*(software)* - Schoonschip
*(software)* - SIGSAM
*(software)* - SMath Studio
*(software)* - Symbolic Manipulation Program
*(software)*

### T

- Tensor software
*(software)* - TI InterActive!
*(software)* - TI-89 series
*(software)* - TI-92 series
*(software)* - TI-Nspire series
*(software)* - Triangular decomposition
*(computing)*

### W

- WIRIS
*(software)* - Wolfram Alpha
*(physics)* - Wolfram Language
*(computing)* - WolframAlpha
*(physics)*