Computer algebra: the end of mathematics?

Bruno Buchberger

Published in: SIGSAM Bull. (2002)

Keyphrases

computer algebra
computer algebra systems
theorem prover
automated theorem provers
database
artificial intelligence
data sets
databases
computer vision
information systems
training data