Turán's Theorem for the Fano Plane.

Louis Bellmann Christian Reiher

Published in: Comb. (2019)

Keyphrases

three dimensional
free space
decoding algorithm
data sets
neural network
image sequences
image planes
interactive theorem proving