Symbolic computation

Symbolic computation

Symbolic computation, algebraic computation, or, less commonly, symbolic manipulation, symbolic processing, symbolic mathematics, or symbolic algebra, 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.

It has uses in software testing under the title of symbolic execution where it can be used to analyse if and when errors in the code may occur. It can be used to predict what code statements do to specified inputs and outputs. It is also important for considering path traversal. It struggles when dealing with statements which are not purely mathematical.

Symbolic computations have been treated as one synonym as computer algebra, but they are different domains. Stephen Watt gave the definitions as:


* By “symbolic computation,” we mean computation with expression trees, or “terms,” representing mathematical objects.
* By “computer algebra,” we mean computations using the arithmetic from particular algebraic constructions.

Although it is almost as old as the computer algebra, symbolic computation is not well-developed as computer algebra, and very limited applications are available. With the same reason, symbolic computations are generally provided as a part of computer algebra systems, instead of separated software packages.

See also

* Automated theorem prover
* Computer-assisted proof
* Proof checker
* Model checker

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. At [http://www.csd.uwo.ca/~watt/pub/reprints/2006-tc-sympoly.pdf]


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • symbolic computation — simbolinis skaičiavimas statusas T sritis automatika atitikmenys: angl. symbolic calculus; symbolic computation vok. symbolisches Rechnen, n rus. символьное вычисление, n pranc. calcul symbolique, m; computation symbolique, f …   Automatikos terminų žodynas

  • Research Institute for Symbolic Computation — Das Research Institute for Symbolic Computation, kurz RISC (Institut für Symbolisches Rechnen) ist ein Forschungsinstitut der Johannes Kepler Universität Linz. Es ist im Softwarepark Hagenberg in Hagenberg im Mühlkreis, Oberösterreich,… …   Deutsch Wikipedia

  • Journal of Symbolic Computation — The Journal of Symbolic Computation (ISSN 0747 7171) is an international monthly research journal on all aspects of symbolic computation and is perhaps the most prestigious journal on the topic of symbolic computation. It is published by Academic …   Wikipedia

  • Research Institute for Symbolic Computation — The Research Institute for Symbolic Computation (RISC Linz) is a leading research institute in the area of symbolic computation, including automated theorem proving and computer algebra. It is located in Schloß Hagenberg in Hagenberg near Linz in …   Wikipedia

  • SHEEP (symbolic computation system) — SHEEP is one of the earliest symbolic computation systems. It is specialized for computations with tensors, and was designed for the needs of researchers working with general relativity and other theories involving extensive tensor calculus… …   Wikipedia

  • computation symbolique — simbolinis skaičiavimas statusas T sritis automatika atitikmenys: angl. symbolic calculus; symbolic computation vok. symbolisches Rechnen, n rus. символьное вычисление, n pranc. calcul symbolique, m; computation symbolique, f …   Automatikos terminų žodynas

  • symbolic calculus — simbolinis skaičiavimas statusas T sritis automatika atitikmenys: angl. symbolic calculus; symbolic computation vok. symbolisches Rechnen, n rus. символьное вычисление, n pranc. calcul symbolique, m; computation symbolique, f …   Automatikos terminų žodynas

  • Symbolic Manipulation Program — Symbolic Manipulation Program, usually called SMP, was a computer algebra system designed by Chris A. Cole and Stephen Wolfram at Caltech circa 1979 and initially developed in the Caltech physics department under Wolfram s leadership with… …   Wikipedia

  • Symbolic simulation — In computer science, a simulation is a computation of the execution of some appropriately modelled state transition system. Typically this process models the complete state of the system at individual points in a discrete linear time frame,… …   Wikipedia

  • List of computer science conferences — This is a list of academic conferences in computer science. Most of these academic conferences are annual or bi annual events.The order with which the conferences are listed in their respective fields corresponds to a rough and non authoritative… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”