Review of creative mathematics by H.S. Wall.

Published in: SIGACT News (2011)

Keyphrases

computer science
databases
computer assisted instruction
machine learning
learning algorithm
multiscale
search algorithm
theorem prover
online reviews
relevant literature
computer algebra