A short proof of the Xiao-Massey lemma.

Lennart Brynielsson

Published in: IEEE Trans. Inf. Theory (1989)

Keyphrases

theorem prover
linear logic
databases
johnson lindenstrauss
knowledge representation
database
data sets
machine learning
information retrieval
genetic algorithm
social networks
information systems
relational databases
automated theorem proving
interactive theorem proving