Globular: an online proof assistant for higher-dimensional rewriting.

Krzysztof Bar Aleks Kissinger Jamie Vicary

Published in: CoRR (2016)

Keyphrases

higher dimensional
euclidean space
low dimensional
high dimensional
finite dimensional
arbitrary dimension
lower dimensional
multiresolution
distance transform
presburger arithmetic
machine learning
image segmentation
database systems
principal component analysis