A Universality Theorem for Nested Polytopes.

Michael Gene Dobbins Andreas F. Holmsen Tillmann Miltzow

Published in: CoRR (2019)

Keyphrases

cellular automata
lattice points
convex hull
hierarchical structure
real world
multimedia
von neumann
interactive theorem proving
data mining
machine learning
hierarchical data