Artificial Intelligence in Mathematics: No.51 (Institute of Mathematics & Its Applications Conference Series, New S.) - Tapa dura

Reseña del editor

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.