Daniel R. Grayson
University of Illinois at Urbana-Champaign
H-index: 28
North America-United States
Top articles of Daniel R. Grayson
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Symmetry | Book in progress | Marc Bezem Ulrik Buchholtz Pierre Cagne Bjørn Ian Dundas Daniel R Grayson | 2023/3/21 |
Construction of the circle in UniMath | Journal of Pure and Applied Algebra | Marc Bezem Ulrik Buchholtz Daniel R Grayson Michael Shulman | 2021/10/1 |