Skip to main content

Applications of Symbolic Algebra to Mathematics

26 March 1987

New Image

Symbolic manipulation systems are playing an increasingly important role in mathematics. Often these systems are used in the proofs of mathematical results. In some of the most interesting cases, though, these systems have been used for more experimental purposes, to formulate and test conjectures, which then led to conventional proofs. Several examples of such applications will be presented, together with some observations on desirable new features of symbolic manipulation systems.