A Simple Proof of the Karakhanyan--Riordan Theorem on the Even Discrete Torus.

Sergei L. Bezrukov Uwe Leck

Published in: SIAM J. Discret. Math. (2009)

Keyphrases

interactive theorem proving
data mining
neural network
machine learning
decision making
artificial neural networks
theorem proving
highly reliable
real world
evolutionary algorithm
control system
mobile robot
finite number