Skip to main content
Article thumbnail
Location of Repository

A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence

By Jacques Calmet and John A. Campbell

Abstract

Abstract. 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

Topics: Symbolic Computation, Artificial Intelligence
Year: 2011
OAI identifier: oai:CiteSeerX.psu:10.1.1.184.2678
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://iaks-www.ira.uka.de/iak... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.