Applications of Symbolic Algebra to Mathematics
26 March 1987
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.