Abstracts of recent doctoral dissertations in computer algebra.

Jeremy R. Johnson

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

Keyphrases

computer algebra
theorem prover
knowledge discovery
recent developments
real time
information extraction
neural network
data mining
computer algebra systems