Machine Synthesis of Mathematical Theorems.

Stanislav N. Vassilyev

Published in: J. Log. Program. (1990)

Keyphrases

program synthesis
database
neural network
learning algorithm
image processing
optimal solution
multiresolution
batch processing
ordered sets