51 citations
- University of MinnesotaUS7 papers
- Arizona State UniversityUS4 papers
- Tecnológico de MonterreyMX2 papers
- Temple UniversityUS2 papers
- The Ohio State UniversityUS2 papers
- Astronomy and SpaceAU1 paper
- Australia Telescope National FacilityAU1 paper
- Bard CollegeUS1 paper
- Bucknell UniversityUS1 paper
- Commonwealth Scientific and Industrial Research OrganisationAU1 paper
- Goethe University FrankfurtDE1 paper
- Hampton UniversityUS1 paper
Showing 2015Show all
2 papers · 1 filter
math.GT2015★ 2 cited
The lowest volume 3-orbifolds with high torsion
Christopher K. Atkinson, David Futer
For each natural number n >= 4, we determine the unique lowest volume hyperbolic 3-orbifold whose torsion orders are bounded below by n. This lowest volume orbifold has base space…
cs.LO2015★ 7 cited
Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq
Manfred Schmidt-Schauß, David Sabel, Elena Machkasova
This paper shows equivalence of several versions of applicative similarity and contextual approximation, and hence also of applicative bisimilarity and contextual equivalence, in L…