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.
Conway1990
- Author
- John B. Conway
- Title
- A Course in Functional Analysis
- Edition
- Second
- Publisher
- Springer
- Year
- 1990
- Doi
- 10.1007/978-1-4757-4383-8
- Isbn
- 978-0-387-97245-9
Original bibliography entry · Permalink
Cited in this paper (1 passage)
Daubechies1992
- Author
- Ingrid Daubechies
- Title
- Ten Lectures on Wavelets
- Series
- CBMS NSF Regional Conference Series in Applied Mathematics
- Volume
- 61
- Publisher
- Society for Industrial and Applied Mathematics
- Address
- Philadelphia
- Year
- 1992
Original bibliography entry · Permalink
Cited in this paper (1 passage)
GohbergLancasterRodman2009
- Author
- Israel Gohberg and Peter Lancaster and Leiba Rodman
- Title
- Matrix Polynomials
- Series
- Classics in Applied Mathematics
- Volume
- 58
- Publisher
- Society for Industrial and Applied Mathematics
- Address
- Philadelphia
- Year
- 2009
Original bibliography entry · Permalink
Cited in this paper (2 passages)
Kato1995
- Author
- Tosio Kato
- Title
- Perturbation Theory for Linear Operators
- Series
- Classics in Mathematics
- Publisher
- Springer
- Address
- Berlin
- Year
- 1995
Original bibliography entry · Permalink
Cited in this paper (1 passage)
Lang2002
- Author
- Serge Lang
- Title
- Algebra
- Edition
- Revised third
- Series
- Graduate Texts in Mathematics
- Volume
- 211
- Publisher
- Springer
- Address
- New York
- Year
- 2002
Newman1972
- Author
- Morris Newman
- Title
- Integral Matrices
- Series
- Pure and Applied Mathematics
- Volume
- 45
- Publisher
- Academic Press
- Address
- New York
- Year
- 1972
Original bibliography entry · Permalink
Cited in this paper (2 passages)
Serre1979
- Author
- Jean Pierre Serre
- Title
- Local Fields
- Series
- Graduate Texts in Mathematics
- Volume
- 67
- Publisher
- Springer
- Address
- New York
- Year
- 1979
- Note
- Translated by Marvin Jay Greenberg
Stanley2012
- Author
- Richard P. Stanley
- Title
- Enumerative Combinatorics, Volume 1
- Edition
- Second
- Series
- Cambridge Studies in Advanced Mathematics
- Volume
- 49
- Publisher
- Cambridge University Press
- Address
- Cambridge
- Year
- 2012
Original bibliography entry · Permalink
Cited in this paper (2 passages)
Vaidyanathan1993
- Author
- P. P. Vaidyanathan
- Title
- Multirate Systems and Filter Banks
- Series
- Prentice Hall Signal Processing Series
- Publisher
- Prentice Hall
- Address
- Englewood Cliffs, New Jersey
- Year
- 1993
Original bibliography entry · Permalink
Cited in this paper (2 passages)
komorebi2026projectorI
- Author
- Komorebi P.
- Title
- Projector-Resolved Seed Calculus I: Typed Seeds, Operator Grammars, and Exact Reconstruction
- Year
- 2026
- Note
- Version 1.2.1, manuscript and verification release
demoura2015lean
- Author
- de Moura, Leonardo and Kong, Soonho and Avigad, Jeremy and van Doorn, Floris and von Raumer, Jakob
- Title
- The Lean Theorem Prover (System Description)
- Booktitle
- Automated Deduction—CADE-25
- Year
- 2015
- Pages
- 378–388
- Doi
- 10.1007/978-3-319-21401-6_26
mathlib2020
- Author
- The Mathlib Community
- Title
- The Lean Mathematical Library
- Booktitle
- Proceedings of CPP
- Year
- 2020
- Pages
- 367–381
- Doi
- 10.1145/3372885.3373824
pozar2012
- Author
- Pozar, David M.
- Title
- Microwave Engineering
- Edition
- 4
- Publisher
- Wiley
- Year
- 2012
Original bibliography entry · Permalink