Dual Spaces and Hahn-Banach Theorem.

Keiko Narita Noboru Endou Yasunari Shidama

Published in: Formaliz. Math. (2014)

Keyphrases

primal dual
von neumann
database
databases
krawtchouk moments
real time
neural network
artificial intelligence
clustering algorithm
np hard
linear program