Artificial Intelligence in Mathematics Based on the Proceedings of a Conference on Artificial Intelligence in Mathematics Organized by the Institute of Mathematics and Its Applications Hosted by the University of Strathclyde and the Turing Institute in April 1991

This book suggests that in future science, social science, engineering and social administration will be based on the complementary interplay of artificial intelligence, mathematics, and statistics. It shows how intelligent computer systems will help pure mathematicians in their work, and how mathematicians may develop as a problem-solving discipline. Artificial intelligence provides profound insights into the nature of complex problems and how computers can be used to solve them; mathematics provides a rich language for presenting systems and methods for investigating them rigorously; while statistics provides the interface between abstract theory and data from observation and experiment. The book is divided into five sections: (1) an introduction to artificial intelligence in mathematics; (2) philosophical and structural issues; (3) automated theorem proving; (4) artificial intelligence in computer algebra and computer systems for mathematics; and (5) artificial intelligence in applied mathematics and statistics.;This book is intended for academic and industrial researchers into pure and applied mathematics, artificial intelligence, and statistics.