Abstracts of recent doctoral dissertations in computer algebra.

Jeremy R. Johnson

Published in: ACM Commun. Comput. Algebra (2012)

Keyphrases

computer algebra
theorem prover
computer vision
recent developments
computer algebra systems
information systems
automated theorem provers
neural network
artificial neural networks
special case
computer science
graphical models
multi agent systems
decision trees
image processing
metadata
artificial intelligence