Applications of Symbolic Mathematics to Mathematics
17 January 1990
Some of the most interesting applications of symbolic are in mathematics itself. Areas of both pure and applied mathematics, including coding theory, cryptography, probability theory, analysis, combinatorics, and number theory, have all gained from the availability of the new symbolic manipulation tools.
These tools have been used to prove a number of results directly. Their main application, however, has been to obtain insight into behavior of various mathematical objects, which then led to conventional proofs being constructed.