50 citations · 83 across the 6 of their papers we have counts for
7 papers
Construction of the Circle in UniMath
Marc Bezem, Ulrik Buchholtz, Daniel R. Grayson +1
We show that the type of -torsors has the dependent universal property of the circle, which characterizes it up to a unique homotopy equivalence.…
Eisenstein series of weight one, -averages of the -logarithm and periods of elliptic curves
Daniel R. Grayson, Dinakar Ramakrishnan
For any elliptic curve over with , , we study the -average , defined on $E({\Bbb C})…
An introduction to univalent foundations for mathematicians
Daniel R. Grayson
We offer an introduction for mathematicians to the univalent foundations of Vladimir Voevodsky, aiming to explain how he chose to encode mathematics in type theory and how the enco…
Relative algebraic K-theory by elementary means
Daniel R. Grayson
In a previous paper I gave a presentation for the Quillen higher algebraic K-groups of an exact category in terms of "acyclic binary multicomplexes". In this paper I take that pres…
Computations in intersection rings of flag bundles
Daniel R. Grayson, Alexandra Seceleanu, Michael E. Stillman
Intersection rings of flag varieties and of isotropic flag varieties are generated by Chern classes of the tautological bundles modulo the relations coming from multiplicativity of…
Yukawa Couplings in Heterotic Compactification
Lara B. Anderson, James Gray, Dan Grayson +2
We present a practical, algebraic method for efficiently calculating the Yukawa couplings of a large class of heterotic compactifications on Calabi-Yau three-folds with non-standar…
Volumes of symmetric spaces via lattice points
Henri Gillet, Daniel R. Grayson
In this paper we show how to use elementary methods to prove that the volume of Sl_k R / Sl_k Z is zeta(2) * zeta(3) * ... * zeta(k) / k. Using a version of reduction theory presen…