A short proof of a theorem of bannai and ito.

A. J. van Zanten

Published in: Discret. Math. (1989)

Keyphrases

interactive theorem proving
theorem prover
database
machine learning
image processing
linear logic
feature selection
metadata
face recognition
multiresolution
theorem proving
von neumann
transaction costs