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

Verlag: Clarendon Press, 1994

Inhaltsangabe

Book by None

Über diesen Titel

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.

Details zur Ausgabe

• Verlag: Clarendon Press
• Erscheinungsdatum: 1994
• ISBN 10: 0198536860
• ISBN 13: 9780198536864
• Einband: Tapa dura
• Sprache: Englisch
• Anzahl der Seiten: 338