Abstracts of recent doctoral dissertations in computer algebra.

Konstantin Ziegler

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

Keyphrases

computer algebra
theorem prover
computer algebra systems
three dimensional
multiscale
image segmentation
bayesian networks
multi agent
evolutionary algorithm
knowledge discovery
temporal logic