Abstracts of recent doctoral dissertations in computer algebra.

Jeremy R. Johnson

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

Keyphrases

computer algebra
theorem prover
data structure
automated theorem provers
database
real time
databases
neural network
decision trees
image segmentation
optimal solution
relational databases