On the proof of Lin's conjecture.

Honggang Hu Shuai Shao Guang Gong Tor Helleseth

Published in: ISIT (2014)

Keyphrases

special case
theorem proving
linear logic
case study
theorem prover
search algorithm
geometry theorem proving
proof planning
relational databases
preprocessing
real time
image sequences
database systems
multimedia
feature selection
computer vision
neural network