An Elementary Proof of a Generalization of Banach's Mapping Theorem.

Published in: Am. Math. Mon. (2014)

Keyphrases

interactive theorem proving
data sets
digital libraries
theorem prover
learning machines
von neumann
neural network
multiscale
control system
hidden markov models
theorem proving