Computer algebra: a 32-year update.

Stephen Wolfram

Published in: ISSAC (2013)

Keyphrases

computer algebra
theorem prover
computer algebra systems
update rules
automated theorem provers
database
databases
image segmentation
artificial intelligence
feature selection
case study
three dimensional
special case
training examples