Computer Algebra and Artificial Intelligence
Date: July 18th (Thursday)
Time: 14:00-14:25
Abstract
The relationship between CA and AI is stressed in the first part of the talk. It is
emphasized that this relationship leads to cross fertilization of the two domains. The second
part of the talk is devoted to two specific applications. The first one shows how to better
prove theorems using computer algebra systems. Examples using Maple and Magma will be
presented. The second application is for a problem in vision and more specifically in traffic
scene reconstruction. It is shown how Mathematica can be used to improve an approach
based upon multi-agents. If time permits, a possible non-standard application outside AI
will be suggested: the use of Computer Algebra in Econometrics.
