Abstracts of recent doctoral dissertations in computer algebra.

Jeremy R. Johnson

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

Keyphrases

computer algebra
theorem prover
real time
databases
neural network
information extraction
computer algebra systems
multimedia
database systems
face recognition
optimal solution
case based reasoning
automated theorem provers