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. Universal exactness in algebraic K-theory. (English) Zbl 0558.18007 J. Pure Appl. Algebra 36, 139-141 (1985). Reviewer: V.P.Snaith MSC: 18F25 14C35 PDF BibTeX XML Cite \textit{D. R. Grayson}, J. Pure Appl. Algebra 36, 139--141 (1985; Zbl 0558.18007) Full Text: DOI OpenURL
Grayson, Daniel R. \(SK_ 1\) of an interesting principal ideal domain. (English) Zbl 0467.18004 J. Pure Appl. Algebra 20, 157-163 (1981). MSC: 18F25 37D15 18F30 13D15 16E20 PDF BibTeX XML Cite \textit{D. R. Grayson}, J. Pure Appl. Algebra 20, 157--163 (1981; Zbl 0467.18004) Full Text: DOI OpenURL
Grayson, Daniel R. K-theory and localization of noncommutative rings. (English) Zbl 0441.16020 J. Pure Appl. Algebra 18, 125-127 (1980). MSC: 16E20 16P50 18F25 PDF BibTeX XML Cite \textit{D. R. Grayson}, J. Pure Appl. Algebra 18, 125--127 (1980; Zbl 0441.16020) Full Text: DOI OpenURL
Grayson, Daniel R. The K-theory of hereditary categories. (English) Zbl 0372.18004 J. Pure Appl. Algebra 11(1977), 67-74 (1978). MSC: 18F25 16P50 13D15 PDF BibTeX XML Cite \textit{D. R. Grayson}, J. Pure Appl. Algebra 11, 67--74 (1978; Zbl 0372.18004) Full Text: DOI OpenURL