Abstracts of recent doctoral dissertations in computer algebra.

Jeremy R. Johnson

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

Keyphrases

computer algebra
theorem prover
real time
databases
image processing
bayesian networks
recent developments
database
data sets
expert systems
evolutionary algorithm
automated theorem provers