Abstracts of recent doctoral dissertations in computer algebra.

Jeremy R. Johnson

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

Keyphrases

computer algebra
theorem prover
information extraction
real time
decision making
three dimensional
video sequences
case based reasoning
computer algebra systems