@book{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}
}

@book{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}
}

@book{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}
}

@book{Kato1995,
  author    = {Tosio Kato},
  title     = {Perturbation Theory for Linear Operators},
  series    = {Classics in Mathematics},
  publisher = {Springer},
  address   = {Berlin},
  year      = {1995}
}

@book{Lang2002,
  author    = {Serge Lang},
  title     = {Algebra},
  edition   = {Revised third},
  series    = {Graduate Texts in Mathematics},
  volume    = {211},
  publisher = {Springer},
  address   = {New York},
  year      = {2002}
}

@book{Newman1972,
  author    = {Morris Newman},
  title     = {Integral Matrices},
  series    = {Pure and Applied Mathematics},
  volume    = {45},
  publisher = {Academic Press},
  address   = {New York},
  year      = {1972}
}

@book{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}
}

@book{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}
}

@book{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}
}

@misc{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}}
@inproceedings{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}}
@inproceedings{mathlib2020,author={{The Mathlib Community}},title={The Lean Mathematical Library},booktitle={Proceedings of CPP},year={2020},pages={367--381},doi={10.1145/3372885.3373824}}
@book{pozar2012,author={Pozar, David M.},title={Microwave Engineering},edition={4th},publisher={Wiley},year={2012}}