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

Johnson, J.H.

Hardcover

ISBN 10: 0198536860 ISBN 13: 9780198536864

Publisher: Clarendon Press, 1994

Synopsis

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.

Edition details

• Publisher: Clarendon Press
• Publication date: 1994
• Language: English
• ISBN 10: 0198536860
• ISBN 13: 9780198536864
• Binding: Hardcover
• Number of pages: 338