ABSTRACT

Talks from the International Conference on Computers and Mathematics held July 29-Aug. 1, 1986, Stanford U. Some are focused on the past and future roles of computers as a research tool in such areas as number theory, analysis, special functions, combinatorics, algebraic geometry, topology, physics,

chapter |48 pages

Integration and Computers

chapter |26 pages

Some Thoughts on Proof Discovery

chapter |10 pages

Factorization Then and Now