
related topics 
{math, number, function} 
{system, computer, user} 
{work, book, publish} 
{food, make, wine} 
{group, member, jewish} 

A computer algebra system (CAS) is a software program that facilitates symbolic mathematics. The core functionality of a CAS is manipulation of mathematical expressions in symbolic form.
Contents
Symbolic manipulations
The symbolic manipulations supported typically include:
 simplification to a smaller expression or some standard form, including automatic simplification with assumptions and simplification with constraints
 substitution of symbols or numeric values for certain expressions
 change of form of expressions: expanding products and powers, partial and full factorization, rewriting as partial fractions, constraint satisfaction, rewriting trigonometric functions as exponentials, transforming logic expressions, etc.
 partial and total differentiation
 some indefinite and definite integration (see symbolic integration), including multidimensional integrals
 symbolic constrained and unconstrained global optimization
 solution of linear and some nonlinear equations over various domains
 solution of some differential and difference equations
 taking some limits
 integral transforms
 series operations such as expansion, summation and products
 matrix operations including products, inverses, etc.
 statistical computation
 theorem proving and verification which is very useful in the area of experimental mathematics
In the above, the word some indicates that the operation cannot always be performed.
Additional capabilities
Many also include:
Full article ▸


related documents 
True BASIC 
Curl (programming language) 
SNOBOL 
E.164 
Thread safety 
X.500 
Code coverage 
Commandline interpreter 
Wikipedia:Free Online Dictionary of Computing/I  K 
Bourne shell 
Document Object Model 
Randomizer 
ActiveX Data Objects 
Information hiding 
Initialization vector 
Great Internet Mersenne Prime Search 
CDR coding 
Java Naming and Directory Interface 
World file 
Cepstrum 
Serial number 
RenderMan Interface Specification 
AutoLISP 
Kvikkalkul 
BASIC09 
Literate programming 
Flyweight pattern 
Denormalization 
Linker 
XMLRPC 
