Integrating Symbolic Mathematical Computation and Artificial Intelligence
Subtitle: Second International Conference, Aismc-2, Cambridge, United Kingdom, August ... (Lecture Notes in Artificial Intelligence)
Contributors: Jacques Calmet (Editor); John A. Campbell (Editor)
Publisher: Springer
Published: August 1995
Language: eng
Format: Paperback
Number of pages: 275
ISBN-13: 9783540601562
Subjects: Artificial Intelligence; Mathematical theory of computation; Computers; Computer Mathematics; Computers - General Information; Number Systems; Computer Books: General; Mathematics; Artificial Intelligence - General; Computer Science; Congresses
First sentence: Interactive Theorem Proving, ITP for short, is a new approach for the use of current computer algebra systems to support mathematicians in proving theorems.