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:
“The instincts of merry England lingered on here with exceptional vitality, and the symbolic customs which tradition has attached to each season of the year were yet a reality on Egdon. Indeed, the impulses of all such outlandish hamlets are pagan still: in these spots homage to nature, self-adoration, frantic gaieties, fragments of Teutonic rites to divinities whose names are forgotten, seem in some way or other to have survived mediaeval doctrine.”
—Thomas Hardy (1840–1928)
Related Phrases
Related Words