A Rational Reconstruction of a System for Experimental Mathematics.

Jacques Carette William M. Farmer Volker Sorge

Published in: Calculemus/MKM (2007)

Keyphrases

real world
information retrieval
three dimensional
experimental data
data sets
computer vision
reinforcement learning
medical images
reconstruction process