Abstracts of recent doctoral dissertations in computer algebra.

Jeremy R. Johnson

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

Keyphrases

computer algebra
theorem prover
information extraction
databases
multiresolution
computer algebra systems
real time
data sets
genetic algorithm
learning algorithm
search engine
social networks
keywords
multi agent
special case
hidden markov models