Toward a Clarity of the Extreme Value Theorem.

Karin U. Katz Mikhail G. Katz Taras S. Kudryk

Published in: Logica Universalis (2014)

Keyphrases

extreme values
von neumann
computer vision
e learning
interactive theorem proving
neural network
high level
natural language
evolutionary algorithm
control system
special case
sufficient conditions