Bezem, Marc; Buchholtz, Ulrik; Grayson, Daniel R.; Shulman, Michael Construction of the circle in UniMath. (English) Zbl 07357172 J. Pure Appl. Algebra 225, No. 10, Article ID 106687, 21 p. (2021). MSC: 03B38 03B70 55U35 03G30 PDF BibTeX XML Cite \textit{M. Bezem} et al., J. Pure Appl. Algebra 225, No. 10, Article ID 106687, 21 p. (2021; Zbl 07357172) Full Text: DOI arXiv OpenURL
Grayson, Daniel R.; Ramakrishnan, Dinakar Eisenstein series of weight one, \(q\)-averages of the \(0\)-logarithm and periods of elliptic curves. (English) Zbl 1475.11063 Akbary, Amir (ed.) et al., Geometry, algebra, number theory, and their information technology applications. Toronto, Canada, June, 2016, and Kozhikode, India, August, 2016. Cham: Springer. Springer Proc. Math. Stat. 251, 245-266 (2018). MSC: 11F03 11F67 11G05 11G55 PDF BibTeX XML Cite \textit{D. R. Grayson} and \textit{D. Ramakrishnan}, Springer Proc. Math. Stat. 251, 245--266 (2018; Zbl 1475.11063) Full Text: DOI arXiv OpenURL
The Univalent Foundations Program [Aczel, Peter; Ahrens, Benedikt; Altenkirch, Thorsten; Awodey, Steve; Barras, Bruno; Bauer, Andrej; Bertot, Yves; Bezem, Marc; Coquand, Thierry; Finster, Eric; Grayson, Daniel; Herbelin, Hugo; Joyal, Andre; Licata, Dan; Lumsdaine, Peter; Mahboubi, Assia; Martin-Lof, Per; Melikhov, Sergey; Pelayo, Alvaro; Polonsky, Andrew; Shulman, Michael; Sozeau, Matthieu; Spitters, Bas; van den Berg, Benno; Voevodsky, Vladimir; Warren, Michael; Zeilberger, Noam; Angiuli, Carlo; Bordg, Anthony; Brunerie, Guillaume; Kapulkin, Chris; Rijke, Egbert; Sojakova, Kristina; Avigad, Jeremy; Cohen, Cyril; Constable, Robert; Curien, Pierre-Louis; Dybjer, Peter; Escardo, Martín; Hou, Kuen-Bang; Gambino, Nicola; Garner, Richard; Gonthier, Georges; Hales, Thomas; Harper, Robert; Hofmann, Martin; Hofstra, Pieter; Kock, Joachim; Kraus, Nicolai; Li, Nuo; Luo, Zhaohui; Nahas, Michael; Palmgren, Erik; Riehl, Emily; Scott, Dana; Scott, Philip; Soloviev, Sergei] Homotopy type theory. Univalent foundations of mathematics. (English) Zbl 1298.03002 Princeton, NJ: Institute for Advanced Study; Raleigh, NC: Lulu Press. ix, 468 p. (2013). Reviewer: Marco Benini (Buccinasco) MSC: 03-02 55-02 03B15 03G30 18A15 18B05 55U40 PDF BibTeX XML Cite \textit{The Univalent Foundations Program}, Homotopy type theory. Univalent foundations of mathematics. Princeton, NJ: Institute for Advanced Study; Raleigh, NC: Lulu Press (2013; Zbl 1298.03002) Full Text: arXiv Link OpenURL
Segal, Graeme; Bass, Hyman; Atiyah, Michael; Brown, Ken; Cuntz, Joachim; Duflot, Jeanne; Loday, Jean-Louis; Ranicki, Andrew; Mazur, Barry; Sullivan, Dennis; Tillmann, Ulrike; Quillen, Jean Friedlander, Eric (ed.); Grayson, Daniel (ed.) Daniel Quillen. (English) Zbl 1284.01060 Notices Am. Math. Soc. 59, No. 10, 1392-1406 (2012). MSC: 01A70 PDF BibTeX XML Cite \textit{G. Segal} et al., Notices Am. Math. Soc. 59, No. 10, 1392--1406 (2012; Zbl 1284.01060) Full Text: DOI OpenURL
Anderson, Lara B.; Gray, James; Grayson, Dan; He, Yang-Hui; Lukas, André Yukawa couplings in heterotic compactification. (English) Zbl 1203.81130 Commun. Math. Phys. 297, No. 1, 95-127 (2010). Reviewer: Andrea Brini (Genève) MSC: 81T30 14J81 14J32 PDF BibTeX XML Cite \textit{L. B. Anderson} et al., Commun. Math. Phys. 297, No. 1, 95--127 (2010; Zbl 1203.81130) Full Text: DOI arXiv Link OpenURL
Grayson, Daniel R. (ed.); Huber-Klawitter, Annette (ed.); Jannsen, Uwe (ed.); Levine, Marc (ed.) Report 32/2006: Algebraic \(K\)-Theory (July 16th – July 22nd, 2006). (English) Zbl 1109.19300 Oberwolfach Rep. 3, No. 3, 1941-1990 (2006). MSC: 19Dxx 19Exx 19Fxx 00B05 PDF BibTeX XML Cite \textit{D. R. Grayson} (ed.) et al., Oberwolfach Rep. 3, No. 3, 1941--1990 (2006; Zbl 1109.19300) Full Text: DOI Link OpenURL
Gillet, Henri; Grayson, Daniel R. Volumes of symmetric spaces via lattice points. (English) Zbl 1116.11028 Doc. Math. 11, 425-447 (2006). Reviewer: Ranjeet Sehmi (Chandigarh) MSC: 11F12 11H06 11M45 PDF BibTeX XML Cite \textit{H. Gillet} and \textit{D. R. Grayson}, Doc. Math. 11, 425--447 (2006; Zbl 1116.11028) Full Text: arXiv EuDML EMIS OpenURL
Friedlander, Eric M. (ed.); Grayson, Daniel R. (ed.) Handbook of \(K\)-theory. Vol. 1 and 2. (English) Zbl 1070.19002 Berlin: Springer (ISBN 3-540-23019-X/hbk). xiv, 1163 p. (2005). MSC: 19-06 00B15 PDF BibTeX XML Cite \textit{E. M. Friedlander} (ed.) and \textit{D. R. Grayson} (ed.), Handbook of \(K\)-theory. Vol. 1 and 2. Berlin: Springer (2005; Zbl 1070.19002) Full Text: DOI OpenURL
Jones, Kevin Charles; Kim, Youngsoo; Mhoon, Andrea H.; Santhanam, Rekha; Walker, Barry J.; Grayson, Daniel R. The additivity theorem in \(K\)-theory. (English) Zbl 1077.19001 \(K\)-Theory 32, No. 2, 181-191 (2004). Reviewer: Antonio R. Garzón (Granada) MSC: 19D06 55U10 PDF BibTeX XML Cite \textit{K. C. Jones} et al., \(K\)-Theory 32, No. 2, 181--191 (2004; Zbl 1077.19001) Full Text: DOI OpenURL
Vasconcelos, Wolmer V. [Eisenbud, David; Grayson, Daniel R.; Herzog, Jürgen; Stillman, Michael] Computational methods of commutative algebra and algebraic geometry. With chapters by David Eisenbud, Daniel R. Grayson, Jürgen Herzog and Michael Stillman. 3rd printing. (English) Zbl 1095.13034 Algorithms and Computation in Mathematics 2. Berlin: Springer (ISBN 3-540-21311-2/pbk). xiii, 408 p. (2004). Reviewer: Gerhard Pfister (Kaiserslautern) MSC: 13P10 14Qxx 13Pxx PDF BibTeX XML Cite \textit{W. V. Vasconcelos}, Computational methods of commutative algebra and algebraic geometry. With chapters by David Eisenbud, Daniel R. Grayson, Jürgen Herzog and Michael Stillman. 3rd printing. Berlin: Springer (2004; Zbl 1095.13034) OpenURL
Avramov, Luchezar L.; Grayson, Daniel R. Resolutions and cohomology over complete intersections. (English) Zbl 0994.13006 Eisenbud, David (ed.) et al., Computations in algebraic geometry with Macaulay 2. Berlin: Springer. Algorithms Comput. Math. 8, 131-178 (2002). Reviewer: Peter Schenzel (Halle) MSC: 13D07 13-04 13P99 PDF BibTeX XML Cite \textit{L. L. Avramov} and \textit{D. R. Grayson}, Algorithms Comput. Math. 8, 131--178 (2002; Zbl 0994.13006) OpenURL
Grayson, Daniel R.; Stillman, Michael E. Data types, functions, and programming. (English) Zbl 1001.68202 Eisenbud, David (ed.) et al., Computations in algebraic geometry with Macaulay 2. Berlin: Springer. Algorithms Comput. Math. 8, 41-53 (2002). Reviewer: Peter Schenzel (Halle) MSC: 68W30 13Pxx PDF BibTeX XML Cite \textit{D. R. Grayson} and \textit{M. E. Stillman}, Algorithms Comput. Math. 8, 41--53 (2002; Zbl 1001.68202) OpenURL
Eisenbud, David (ed.); Grayson, Daniel R. (ed.); Stillman, Michael (ed.); Sturmfels, Bernd (ed.) Computations in algebraic geometry with Macaulay 2. (English) Zbl 0973.00017 Algorithms and Computation in Mathematics 8. Berlin: Springer (ISBN 3-540-42230-7/hbk; 978-3-642-07592-6/pbk; 978-3-662-04851-1/ebook). xiii, 329 p. (2002). MSC: 00B15 13-06 14-06 68-06 13P10 68W30 14Qxx PDF BibTeX XML Cite \textit{D. Eisenbud} (ed.) et al., Computations in algebraic geometry with Macaulay 2. Berlin: Springer (2002; Zbl 0973.00017) Full Text: DOI OpenURL
Grayson, Daniel R.; Walker, Mark E. Geometric models for algebraic \(K\)-theory. (English) Zbl 0977.19002 \(K\)-Theory 20, No. 4, 311-330 (2000). Reviewer: Rick Jardine (London /Ontario) MSC: 19E08 19D10 19E15 14C35 PDF BibTeX XML Cite \textit{D. R. Grayson} and \textit{M. E. Walker}, \(K\)-Theory 20, No. 4, 311--330 (2000; Zbl 0977.19002) Full Text: DOI OpenURL
Edelsbrunner, H.; Grayson, D. R. Edgewise subdivision of a simplex. (English) Zbl 0968.51016 Discrete Comput. Geom. 24, No. 4, 707-719 (2000). Reviewer: Mihai Cipu (Bucureşti) MSC: 51M20 68U07 52B05 PDF BibTeX XML Cite \textit{H. Edelsbrunner} and \textit{D. R. Grayson}, Discrete Comput. Geom. 24, No. 4, 707--719 (2000; Zbl 0968.51016) Full Text: DOI Backlinks: MO OpenURL
Glazebrook, J. F.; Grayson, D. R.; Hewitt, P. R. Galois representations on holomorphic differentials: An addendum. (English) Zbl 0777.14010 Commun. Algebra 20, No. 9, 2791 (1992). Reviewer: Vo Van Tan (Boston) MSC: 14H55 13N10 PDF BibTeX XML Cite \textit{J. F. Glazebrook} et al., Commun. Algebra 20, No. 9, 2791 (1992; Zbl 0777.14010) OpenURL
Glazebrook, J. F.; Grayson, D. R.; Hewitt, P. R. Galois representations on holomorphic differentials. (English) Zbl 0739.14018 Commun. Algebra 19, No. 5, 1375-1386 (1991). Reviewer: Vo Van Tan (Boston) MSC: 14H55 14F10 13N10 PDF BibTeX XML Cite \textit{J. F. Glazebrook} et al., Commun. Algebra 19, No. 5, 1375--1386 (1991; Zbl 0739.14018) Full Text: DOI OpenURL
Gillet, Henri; Grayson, Daniel R. The loop space of the Q-construction. (English) Zbl 0628.55011 Ill. J. Math. 31, 574-597 (1987); erratum ibid. 47, No. 3, 745-748 (2003). Reviewer: M.Stein MSC: 55U35 55U10 18F25 55P35 PDF BibTeX XML Cite \textit{H. Gillet} and \textit{D. R. Grayson}, Ill. J. Math. 31, 574--597 (1987; Zbl 0628.55011) OpenURL
Bloch, S.; Grayson, D. \(K_ 2\) and L-functions of elliptic curves. Computer calculations. (English) Zbl 0629.14002 Applications of algebraic K-theory to algebraic geometry and number theory, Proc. AMS-ISM-SIAM Joint Summer Res. Conf., Boulder/Colo. 1983, Part I, Contemp. Math. 55, 79-88 (1986). Reviewer: Ş.A.Basarab MSC: 14-04 14C35 14G10 14H45 14H52 PDF BibTeX XML OpenURL
Ash, Avner; Grayson, Daniel; Green, Philip Computations of cuspidal cohomology of congruence subgroups of SL(3,\({\mathbb{Z}})\). (English) Zbl 0552.10015 J. Number Theory 19, 412-436 (1984). Reviewer: J.Schwermer MSC: 11F27 22E40 11F67 68W99 PDF BibTeX XML Cite \textit{A. Ash} et al., J. Number Theory 19, 412--436 (1984; Zbl 0552.10015) Full Text: DOI OpenURL