Globular: An Online Proof Assistant for Higher-Dimensional Rewriting.

Krzysztof Bar Aleks Kissinger Jamie Vicary

Published in: FSCD (2016)

Keyphrases

higher dimensional
euclidean space
lower dimensional
finite dimensional
high dimensional
arbitrary dimension
distance transform
low dimensional
continuous relaxation
non stationary
shape analysis
wavelet packet
presburger arithmetic