A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence

Calmet, Jacques; Campbell, J. A.

doi:10.1007/978-3-642-14128-7_3

Search citation statements

Order By: Relevance

Paper Sections

Select...

Computer Algebra and Computer Science1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2012

2020

Publication Types

Select...

Article2

Relationship

Self Cite1

Independent1

Authors

Journals

Cited by 2 publications

(1 citation statement)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It is partly based upon the inaugural speech prepared for the conference on the Applications of Computer Algebra (ACA) held on 24 June to 27 June, 2010, in Vlora, Albania (http://math.unm.edu/ACA/2010/Calmet). In a previous survey [1], we investigated the link between Artificial Intelligence (AI) and CA, or more generally symbolic mathematical computing. It is enough to remember that computer algebra is an attempt to mechanize what is mechanizable in mathematics, a goal of the founding fathers of AI.…”

Section: Computer Algebra and Computer Sciencementioning

confidence: 99%