Banach's Continuous Inverse Theorem and Closed Graph Theorem.

Hideki Sakurai Hiroyuki Okazaki Yasunari Shidama

Published in: Formaliz. Math. (2012)

Keyphrases

connected components
graph representation
von neumann
genetic algorithm
random walk
graph theory
graph model
database
real time
multiscale
state space
graph matching