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

Krzysztof Bar Aleks Kissinger Jamie Vicary

Published in: Log. Methods Comput. Sci. (2018)

Keyphrases

higher dimensional
euclidean space
high dimensional
arbitrary dimension
finite dimensional
low dimensional
lower dimensional
continuous relaxation
presburger arithmetic
distance transform
machine learning
three dimensional
image quality