6 citations · 14 across the 9 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
math.CA2021
A pasting lemma for Lipschitz functions
Matthew D. Kvalheim, Paul Gustafson, Samuel A. Burden
We give a necessary and sufficient condition ensuring that any function which is separately Lipschitz on two fixed compact sets is Lipschitz on their union.
cs.LO2021
Hybrid dynamical type theories for navigation
Paul Gustafson, Jared Culbertson, Daniel E. Koditschek
We present a hybrid dynamical type theory equipped with useful primitives for organizing and proving safety of navigational control algorithms. This type theory combines the framew…
math.QA2021★ 3 cited
From Torus Bundles to Particle-Hole Equivariantization
Shawn X. Cui, Paul Gustafson, Yang Qiu +1
We continue the program of constructing (pre)modular tensor categories from 3-manifolds first initiated by Cho-Gang-Kim using theory in physics and then mathematically studied…