A computable version of Banach's Inverse Mapping Theorem.

Published in: Ann. Pure Appl. Log. (2009)

Keyphrases

neural network
artificial intelligence
ontology mapping
von neumann
real time
wide range
special case
turing machine
jacobian matrix