Differentiable Functions into Real Normed Spaces.

Hiroyuki Okazaki Noboru Endou Keiko Narita Yasunari Shidama

Published in: Formaliz. Math. (2011)

Keyphrases

real life
real world
machine learning
website
wide range
object recognition
data mining
three dimensional
user interface
hilbert space