symbolic mathematics

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

<< Previous

Word Browser

Next >>

t. r. caldwell
syquest technology
afterburner (engine)
afterburner (modification kit)
long sault, ontario
after burner
john motley morehead
trion operating system
westport, ontario
ctesibius
toto

funny face
delaware river and bay authority
cross cultural studies
list of ancient greeks
prior probability
university at albany
usos seaview
war all the time
3c279
universal wrestling federation (united states)
nitobe memorial garden

oyster bay, new york
katrina and the waves
tennessee's partner
league of conservation voters
hms intrepid (d10)
stanford university school of humanities and sciences
eric adams
ross boss friedman
donny hamzik
hms imogen (d44)
bella abzug

hms imperial (d09)
history of the united states (1980 present)
kirszbraun theorem
hms ivanhoe (d16)
swap space
united states foreign service
errare humanum est
fairmount park
hms impulsive (d11)
history of the united states (1988 present)
surrogate key