Proof of a Conjecture about Rotation Symmetric Functions

Xiyong Zhang Hua Guo Yifa Li

Published in: CoRR (2010)

Keyphrases

neural network
basis functions
data mining
optical flow
theorem proving
invariant features
proof planning
rotational symmetry