Symbolic Mathematics Article Index for
Symbolic
 

Information About

Symbolic Mathematics




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 System s.


SEE ALSO