@book{AndrewsAskeyRoy1999,
  author    = {George E. Andrews and Richard Askey and Ranjan Roy},
  title     = {Special Functions},
  series    = {Encyclopedia of Mathematics and its Applications},
  volume    = {71},
  publisher = {Cambridge University Press},
  address   = {Cambridge},
  year      = {1999}
}

@book{Apostol1976,
  author    = {Tom M. Apostol},
  title     = {Introduction to Analytic Number Theory},
  series    = {Undergraduate Texts in Mathematics},
  publisher = {Springer},
  address   = {New York},
  year      = {1976}
}

@book{Boas1954,
  author    = {Ralph P. Boas},
  title     = {Entire Functions},
  publisher = {Academic Press},
  address   = {New York},
  year      = {1954}
}

@book{Comtet1974,
  author    = {Louis Comtet},
  title     = {Advanced Combinatorics: The Art of Finite and Infinite Expansions},
  publisher = {D. Reidel Publishing Company},
  address   = {Dordrecht},
  year      = {1974}
}

@book{FlajoletSedgewick2009,
  author    = {Philippe Flajolet and Robert Sedgewick},
  title     = {Analytic Combinatorics},
  publisher = {Cambridge University Press},
  address   = {Cambridge},
  year      = {2009}
}

@book{Levin1980,
  author    = {Boris Ya. Levin},
  title     = {Distribution of Zeros of Entire Functions},
  edition   = {Revised},
  series    = {Translations of Mathematical Monographs},
  volume    = {5},
  publisher = {American Mathematical Society},
  address   = {Providence},
  year      = {1980}
}

@book{Rainville1960,
  author    = {Earl D. Rainville},
  title     = {Special Functions},
  publisher = {The Macmillan Company},
  address   = {New York},
  year      = {1960}
}

@book{Roman1984,
  author    = {Steven Roman},
  title     = {The Umbral Calculus},
  series    = {Pure and Applied Mathematics},
  volume    = {111},
  publisher = {Academic Press},
  address   = {New York},
  year      = {1984}
}

@book{Titchmarsh1939,
  author    = {Edward C. Titchmarsh},
  title     = {The Theory of Functions},
  edition   = {Second},
  publisher = {Oxford University Press},
  address   = {Oxford},
  year      = {1939}
}

@article{Polya1920,
  author  = {George P{\'o}lya},
  title   = {Geometrisches {\"u}ber die Verteilung der Nullstellen gewisser ganzer transzendenter Funktionen},
  journal = {Sitzungsberichte der Bayerischen Akademie der Wissenschaften, Mathematisch Physikalische Klasse},
  volume  = {50},
  year    = {1920},
  pages   = {285{\textendash}290}
}

@article{Langer1931,
  author  = {Rudolph E. Langer},
  title   = {On the Zeros of Exponential Sums and Integrals},
  journal = {Bulletin of the American Mathematical Society},
  volume  = {37},
  number  = {4},
  year    = {1931},
  pages   = {213{\textendash}239}
}

@article{Moreno1973,
  author  = {Carlos J. Moreno},
  title   = {The Zeros of Exponential Polynomials. {I}},
  journal = {Compositio Mathematica},
  volume  = {26},
  number  = {1},
  year    = {1973},
  pages   = {69{\textendash}78}
}

@article{BleherMallison2006,
  author  = {Bleher, Pavel and Mallison, Jr., Robert},
  title   = {Zeros of Sections of Exponential Sums},
  journal = {International Mathematics Research Notices},
  volume  = {2006},
  year    = {2006},
  pages   = {Article ID 38937, 49 pages},
  doi     = {10.1155/IMRN/2006/38937},
  url     = {https://doi.org/10.1155/IMRN/2006/38937},
  note    = {\href{https://doi.org/10.1155/IMRN/2006/38937}{doi: 10.1155/IMRN/2006/38937}}
}

@article{Schwaiger1992,
  author  = {Jens Schwaiger},
  title   = {On Generalized Hyperbolic Functions and Their Characterization by Functional Equations},
  journal = {Aequationes Mathematicae},
  volume  = {43},
  year    = {1992},
  pages   = {198--210},
  doi     = {10.1007/BF01835702},
  url     = {https://doi.org/10.1007/BF01835702},
  note    = {\href{https://doi.org/10.1007/BF01835702}{doi: 10.1007/BF01835702}}
}

@article{Muldoon2005,
  author  = {Martin E. Muldoon},
  title   = {Generalized Hyperbolic Functions, Circulant Matrices and Functional Equations},
  journal = {Linear Algebra and its Applications},
  volume  = {406},
  year    = {2005},
  pages   = {272--284},
  doi     = {10.1016/j.laa.2005.04.011},
  url     = {https://doi.org/10.1016/j.laa.2005.04.011},
  note    = {\href{https://doi.org/10.1016/j.laa.2005.04.011}{doi: 10.1016/j.laa.2005.04.011}}
}

@misc{PaperI2026,
  author = {Komorebi P.},
  title  = {Projector-Resolved Seed Calculus I: Typed Seeds, Operator Grammars, and Exact Reconstruction},
  note   = {Version 1.2.1},
  year   = {2026}
}

@misc{PaperII2026,
  author = {Komorebi P.},
  title  = {Projector-Resolved Seed Calculus II: Polyphase Refinement, Weighted Transfer, and Dyadic--Odd Resolution},
  note   = {Version 1.2.1},
  year   = {2026}
}

@misc{PaperIII2026,
  author = {Komorebi P.},
  title  = {Projector-Resolved Seed Calculus III: Typed Edge Operators, Connection Defects, and Obstruction Packets},
  note   = {Version 1.0.1},
  year   = {2026}
}

@inproceedings{deMouraUllrich2021,
  author    = {Leonardo de Moura and Sebastian Ullrich},
  title     = {The {Lean} 4 Theorem Prover and Programming Language},
  booktitle = {Automated Deduction -- CADE 28},
  series    = {Lecture Notes in Computer Science},
  volume    = {12699},
  pages     = {625--635},
  publisher = {Springer},
  year      = {2021},
  doi       = {10.1007/978-3-030-79876-5_37}
}

@inproceedings{mathlib2020,
  author    = {{The mathlib Community}},
  title     = {The {Lean} Mathematical Library},
  booktitle = {Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs},
  pages     = {367--381},
  publisher = {Association for Computing Machinery},
  year      = {2020},
  doi       = {10.1145/3372885.3373824}
}