Examples of Problem Solving Using Computer Algebra.

Dominique Duval Françoise Jung

Published in: Programming Environments for High-Level Scientific Problem Solving (1991)

Keyphrases

computer algebra
theorem prover
artificial intelligence
case based reasoning
knowledge acquisition
real time
automated theorem provers
computer algebra systems
machine learning
learning algorithm
social networks
clustering algorithm
knowledge structures
collaborative problem solving
general intelligence