Skip to main content

Applications of Symbolic Mathematics to Mathematics

17 January 1990

New Image

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.