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 non-linear 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
- optimized code generation
In the above, the word some indicates that the operation cannot always be performed.
Read more about this topic: Computer Algebra System
Famous quotes containing the word symbolic:
“Iconic clothing has been secularized.... A guardsman in a dress uniform is ostensibly an icon of aggression; his coat is red as the blood he hopes to shed. Seen on a coat-hanger, with no man inside it, the uniform loses all its blustering significance and, to the innocent eye seduced by decorative colour and tactile braid, it is as abstract in symbolic information as a parasol to an Eskimo. It becomes simply magnificent.”
—Angela Carter (1940–1992)
Related Phrases
Related Words