Mathematics by machine.

Noriko H. Arai Takuya Matsuzaki Hidenao Iwane Hirokazu Anai

Published in: ISSAC (2014)

Keyphrases

computer science
learning machines
batch processing
computer vision
high level
reinforcement learning
search algorithm
relational databases
user interface
computer assisted learning