Computer algebra: Difference between revisions
Luckas-bot (talk | contribs) m robot Adding: cs:Symbolický výpočet |
No edit summary |
||
Line 1: | Line 1: | ||
'''Symbolic computation''' or '''algebraic computation''', relates to the use of [[machines]], such as [[computers]], to manipulate [[mathematics|mathematical]] [[equation]]s and expressions in [[symbol|symbolic]] form, as opposed to manipulating the approximations of specific [[numerical analysis|numerical]] quantities represented by those symbols. Such a system might be used for symbolic [[symbolic integration|integration]] or [[derivative|differentiation]], substitution of one expression into another, simplification of an expression, etc. |
'''Symbolic computation fukc+''' or '''algebraic computation''', relates to the use of [[machines]], such as [[computers]], to manipulate [[mathematics|mathematical]] [[equation]]s and expressions in [[symbol|symbolic]] form, as opposed to manipulating the approximations of specific [[numerical analysis|numerical]] quantities represented by those symbols. Such a system might be used for symbolic [[symbolic integration|integration]] or [[derivative|differentiation]], substitution of one expression into another, simplification of an expression, etc. |
||
Symbolic computation is also sometimes referred to as '''symbolic manipulation''', '''symbolic processing''', '''symbolic mathematics''', or '''symbolic algebra''', but these terms also refer to non-computational manipulation. |
Symbolic computation is also sometimes referred to as '''symbolic manipulation''', '''symbolic processing''', '''symbolic mathematics''', or '''symbolic algebra''', but these terms also refer to non-computational manipulation. |
Revision as of 06:20, 23 June 2010
Symbolic computation fukc+ or algebraic computation, relates to the use of machines, such as computers, to manipulate mathematical equations and expressions in symbolic form, as opposed to manipulating the approximations of specific numerical quantities represented by those symbols. Such a system might be used for symbolic integration or differentiation, substitution of one expression into another, simplification of an expression, etc.
Symbolic computation is also sometimes referred to as symbolic manipulation, symbolic processing, symbolic mathematics, or symbolic algebra, but these terms also refer to non-computational manipulation.
Software applications that perform symbolic calculations are called computer algebra systems.
See also
- Automated theorem prover
- Computer-assisted proof
- Proof checker
- Model checker
- Symbolic-numeric computation
- Symbolic simulation
- Symbolic execution
References
- Making Computer Algebra More Symbolic (Invited), Stephen M. Watt, pp. 43-49, Proc. Transgressive Computing 2006: A conference in honor or Jean Della Dora , (TC 2006), April 24-26 2006, Granada Spain.
External links
- A Gentle Introduction to Static Analysis and Logic Programming showing an example of application of symbolic computation to perform static program analysis.
- Information on Symbolic Computing A good site for beginners
- Wolfram Integrator — Free online symbolic integration with Mathematica
- Mathematical Assistant on Web — symbolic computations online. Allows to integrate in small steps (with hints for next step (integration by parts, substitution, partial fractions, application of formulas and others), powered by Maxima
- Function Calculator from WIMS
- Online integral calculator
This article is based on material taken from the Free On-line Dictionary of Computing prior to 1 November 2008 and incorporated under the "relicensing" terms of the GFDL, version 1.3 or later.