A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence

We provide a perspective on the current state and possible future of links between symbolic mathematical computing and artificial intelligence, on the occasion of the 10th biennial conference (AISMC, later AISC) devoted to those connections. It follows a similar perspective expressed for the first such conference in 1992 and then revised and expanded 5 years later. Issues related to the computational management of mathematical knowledge are highlighted.

• Type: Conference
• Year: 2010
• Where: AISC
• Authors: Jacques Calmet, John A. Campbell
• Keywords: AISC 2010, Artificial Intelligence, Current State, Possible Future, Symbolic Mathematical Computing