Symbolic mathematics, or symbolic math, relates to the use of 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. A computer is a device or machine for processing information from data according to a program — a compiled list of instructions. ... Wikibooks Wikiversity has more about this subject: School of Mathematics Wikiquote has a collection of quotations related to: Mathematics Look up Mathematics on Wiktionary, the free dictionary Wikimedia Commons has media related to: Mathematics Bogomolny, Alexander: Interactive Mathematics Miscellany and Puzzles. ... In mathematics, one often (not quite always) distinguishes between an identity, which is an assertion that two expressions are equal regardless of the values of any variables that occur within them, and an equation, which may be true for only some (or none) of the values of any such variables. ... ΨŐěßĎŁčč: This article deals with the concept of an integral in calculus. ... In mathematics, the derivative is one of the two central concepts of calculus. ...

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.

There are many software packages for symbolic mathematics, usually called computer algebra systems. A computer algebra system (CAS) is a software program that facilitates symbolic mathematics. ...

See also

• Automated theorem prover
• Computer-aided proof