A New Simple Proof of the Aztec Diamond Theorem.

Manuel Fendler Daniel Grieser

Published in: Graphs Comb. (2016)

Keyphrases

high level
interactive theorem proving
real time
neural network
data mining
learning algorithm
computer vision
face recognition
highly reliable