Sciweavers

Share
AISC
2010
Springer

A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence

10 years 7 months ago
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.
Jacques Calmet, John A. Campbell
Added 18 Jul 2010
Updated 18 Jul 2010
Type Conference
Year 2010
Where AISC
Authors Jacques Calmet, John A. Campbell
Comments (0)
books