5 citations · 7 across the 2 of their papers we have counts for
2 papers
math.LO2017★ 5 cited
Synthetic Homology in Homotopy Type Theory
Robert Graham
This paper defines homology in homotopy type theory, in the process stable homotopy groups are also defined. Previous research in synthetic homotopy theory is relied on, in particu…
cs.CG2017★ 2 cited
Approximate Convex Hulls: sketching the convex hull using curvature
Robert Graham, Adam M. Oberman
Convex hulls are fundamental objects in computational geometry. In moderate dimensions or for large numbers of vertices, computing the convex hull can be impractical due to the com…