Zobrazeno 1 - 10
of 60
pro vyhledávání: '"Grayson, Daniel"'
Autor:
Grayson, Daniel
Projekt Long Range CAN är ett examensarbete utfört åt Electrum Automation AB. Det är ett företag som utvecklar elektronikprodukter till framförallt mobila maskiner. De flesta av deras produkter använder CAN-buss. De har bland annat produkter f
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-153366
We show that the type $\mathrm{T}\mathbb{Z}$ of $\mathbb{Z}$-torsors has the dependent universal property of the circle, which characterizes it up to a unique homotopy equivalence. The construction uses Voevodsky's Univalence Axiom and propositional
Externí odkaz:
http://arxiv.org/abs/1910.01856
For any elliptic curve $E$ over $k\subset \Bbb R$ with $E({\Bbb C})={\Bbb C}^\times/q^{\Bbb Z}$, $q=e^{2\pi iz}, \Im(z)>0$, we study the $q$-average $D_{0,q}$, defined on $E({\Bbb C})$, of the function $D_0(z) = \Im(z/(1-z))$. Let $\Omega^+(E)$ denot
Externí odkaz:
http://arxiv.org/abs/1806.04925
Autor:
Grayson, Daniel R.
Publikováno v:
Bull. Amer. Math. Soc., 2018
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 encoding reveals a potentially viable foundation for all of modern mathema
Externí odkaz:
http://arxiv.org/abs/1711.01477
Publikováno v:
In Journal of Pure and Applied Algebra October 2021 225(10)
Autor:
Grayson, Daniel R.
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 presentation as a definition of the higher K-groups, generalize it to the
Externí odkaz:
http://arxiv.org/abs/1310.8644
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 total Chern classes. In this paper we describe the Groebner bases of
Externí odkaz:
http://arxiv.org/abs/1205.4190
Autor:
Grayson, Daniel R.
Publikováno v:
The Bulletin of Symbolic Logic, 2018 Jun 01. 24(2), 186-191.
Externí odkaz:
https://www.jstor.org/stable/26473954
Autor:
Gillet, Henri, Grayson, Daniel R.
Publikováno v:
Documenta Mathematica 11 (2006) 425-447
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 presented in this paper, we can compute the volumes of certain unbounded reg
Externí odkaz:
http://arxiv.org/abs/math/0402085
Autor:
GRAYSON, DANIEL R.
Publikováno v:
Journal of the American Mathematical Society, 2012 Oct 01. 25(4), 1149-1167.
Externí odkaz:
http://dx.doi.org/10.1090/S0894-0347-2012-00743-7