Entries follow the retained bibliography source. Citation keys keep references stable without relying on older generated bibliography numbering. These links do not establish what a cited source proves.
assemSimsonSkowronski2006
I. Assem, D. Simson, and A. Skowroński, Elements of the Representation Theory of Associative Algebras, Volume 1: Techniques of Representation Theory, London Mathematical Society Student Texts 65, Cambridge University Press, Cambridge, 2006. doi:10.1017/CBO9780511614309.
brouwerHaemers2012
A. E. Brouwer and W. H. Haemers, Spectra of Graphs, Universitext, Springer, New York, 2012. doi:10.1007/978-1-4614-1939-6.
Original bibliography entry · Permalink
Cited in this paper (1 passage)
conway1990
J. B. Conway, A Course in Functional Analysis, second edition, Graduate Texts in Mathematics 96, Springer, New York, 1990. doi:10.1007/978-1-4757-4383-8.
Original bibliography entry · Permalink
Cited in this paper (1 passage)
hornJohnson2012
R. A. Horn and C. R. Johnson, Matrix Analysis, second edition, Cambridge University Press, Cambridge, 2012. doi:10.1017/CBO9781139020411.
lam2001noncommutative
T. Y. Lam, A First Course in Noncommutative Rings, second edition, Graduate Texts in Mathematics 131, Springer, New York, 2001. doi:10.1007/978-1-4419-8616-0.
lam1999modules
T. Y. Lam, Lectures on Modules and Rings, Graduate Texts in Mathematics 189, Springer, New York, 1999. doi:10.1007/978-1-4612-0525-8.
roman2008
S. Roman, Advanced Linear Algebra, third edition, Graduate Texts in Mathematics 135, Springer, New York, 2008. doi:10.1007/978-0-387-72831-5.
schaeferWolff1999
H. H. Schaefer and M. P. Wolff, Topological Vector Spaces, second edition, Graduate Texts in Mathematics 3, Springer, New York, 1999. doi:10.1007/978-1-4612-1468-7.
silverman2009
J. H. Silverman, The Arithmetic of Elliptic Curves, second edition, Graduate Texts in Mathematics 106, Springer, New York, 2009. doi:10.1007/978-0-387-09494-6.
Original bibliography entry · Permalink
Cited in this paper (1 passage)
demouraUllrich2021
L. de Moura and S. Ullrich, The Lean 4 Theorem Prover and Programming Language, in Automated Deduction—CADE 28, Lecture Notes in Computer Science 12699, Springer, Cham, 2021, pp. 625–635. doi:10.1007/978-3-030-79876-5_37.
mathlib2020
The mathlib Community, The Lean Mathematical Library, in Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, ACM, 2020, pp. 367–381. doi:10.1145/3372885.3373824.