A proof of Alon-Babai-Suzuki's conjecture and multilinear polynomials.

Kyung-Won Hwang Younjin Kim

Published in: Eur. J. Comb. (2015)

Keyphrases

learning theory
higher order
theorem proving
low order
high order
automated theorem proving
geometry theorem proving
computer vision
feature selection
pattern recognition
principal component analysis
natural images
hermite transform
higher order singular value decomposition