ACM 2007 Kanellakis Award Honours Bruno Buchberger Innovator of Automated Tools for Mathematics.

Mark Giesbrecht

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

Keyphrases

automated tools
software development
data structure
source code
formal specification
databases
selected papers
computer science
electrical engineering
computer algebra
neural network
machine learning
high level
international workshop
computer programming
computer assisted instruction