Zobrazeno 1 - 10
of 48
pro vyhledávání: '"Daniel R. Grayson"'
Autor:
Daniel R. Grayson
Publikováno v:
The Bulletin of Symbolic Logic. 24:186-191
Publikováno v:
Journal of Pure and Applied Algebra
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
Publikováno v:
Springer Proceedings in Mathematics & Statistics ISBN: 9783319973784
For any elliptic curve E over \(k\subset {\mathbb {R}}\) with \(E({\mathbb {C}})={\mathbb {C}}^\times /q^{{\mathbb {Z}}}\), \(q=e^{2\pi iz}, \mathrm{Im}(z)>0\), we study the q-average \(D_{0,q}\), defined on \(E({\mathbb {C}})\), of the function \(D_
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a08f863a7479d61fb005481dbfed10f1
https://doi.org/10.1007/978-3-319-97379-1_11
https://doi.org/10.1007/978-3-319-97379-1_11
Autor:
Daniel R. Grayson
Publikováno v:
Nature. 551(7679)
Mathematician who revolutionized algebraic geometry and computer proof. Mathematician who revolutionized algebraic geometry and computer proof.
Autor:
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 encoding reveals a potentially viable foundation for all of modern mathema
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ff7bb5b87c15801e83528705babdf58a
http://arxiv.org/abs/1711.01477
http://arxiv.org/abs/1711.01477
Autor:
Daniel R. Grayson
Publikováno v:
Journal of K-theory. 11:527-547
We survey the genesis and development of higher algebraic K-theory by Daniel Quillen.
Publikováno v:
Communications in Mathematical Physics
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-standard embeddings. Our methodology covers all of, though is not restricted
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0371dda4e23b553a3a45df7bb4b48129
https://doi.org/10.1007/s00220-010-1033-8
https://doi.org/10.1007/s00220-010-1033-8
Autor:
Daniel R. Grayson
Publikováno v:
Journal of the American Mathematical Society. 25:1149-1167
Motivated by work of Nenashev on K 1 K_1 , we introduce acyclic binary multicomplexes and use them to provide generators and relations for the Quillen K K -groups of an arbitrary exact category.
Autor:
Kevin Charles Jones, Rekha Santhanam, Youngsoo Kim, Daniel R. Grayson, Barry J. Walker, Andrea H. Mhoon
Publikováno v:
K-Theory. 32:181-191
We present a method for converting Theorem B style proofs in algebraic K-theory to Theorem A style proofs and apply it to the additivity theorem. Mathematics Subject Classification: 19D06.
Systems of polynomial equations arise throughout mathematics, science, and engineering. Algebraic geometry provides powerful theoretical techniques for studying the qualitative and quantitative features of their solution sets. Re cently developed a