Combinatorial analysis of proofs in projective and affine geometry.

Published in: Ann. Pure Appl. Log. (2010)

Keyphrases

data analysis
formal proof
data sets
neural network
genetic algorithm
case study
three dimensional
image registration
statistical analysis
image matching