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.
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
Original bibliography entry · Permalink
Cited in this paper (1 passage)
Apostol1976
- Author
- Tom M. Apostol
- Title
- Introduction to Analytic Number Theory
- Series
- Undergraduate Texts in Mathematics
- Publisher
- Springer
- Address
- New York
- Year
- 1976
Original bibliography entry · Permalink
Cited in this paper (1 passage)
Boas1954
- Author
- Ralph P. Boas
- Title
- Entire Functions
- Publisher
- Academic Press
- Address
- New York
- Year
- 1954
Original bibliography entry · Permalink
Cited in this paper (2 passages)
Comtet1974
- Author
- Louis Comtet
- Title
- Advanced Combinatorics: The Art of Finite and Infinite Expansions
- Publisher
- D. Reidel Publishing Company
- Address
- Dordrecht
- Year
- 1974
Original bibliography entry · Permalink
Cited in this paper (1 passage)
FlajoletSedgewick2009
- Author
- Philippe Flajolet and Robert Sedgewick
- Title
- Analytic Combinatorics
- Publisher
- Cambridge University Press
- Address
- Cambridge
- Year
- 2009
Original bibliography entry · Permalink
Cited in this paper (1 passage)
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
Original bibliography entry · Permalink
Cited in this paper (1 passage)
Rainville1960
- Author
- Earl D. Rainville
- Title
- Special Functions
- Publisher
- The Macmillan Company
- Address
- New York
- Year
- 1960
Original bibliography entry · Permalink
Cited in this paper (1 passage)
Roman1984
- Author
- Steven Roman
- Title
- The Umbral Calculus
- Series
- Pure and Applied Mathematics
- Volume
- 111
- Publisher
- Academic Press
- Address
- New York
- Year
- 1984
Original bibliography entry · Permalink
Cited in this paper (1 passage)
Titchmarsh1939
- Author
- Edward C. Titchmarsh
- Title
- The Theory of Functions
- Edition
- Second
- Publisher
- Oxford University Press
- Address
- Oxford
- Year
- 1939
Original bibliography entry · Permalink
Cited in this paper (2 passages)
Polya1920
- Author
- George Pólya
- Title
- Geometrisches ü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\textendash290
Original bibliography entry · Permalink
Cited in this paper (1 passage)
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\textendash239
Original bibliography entry · Permalink
Cited in this paper (1 passage)
Moreno1973
- Author
- Carlos J. Moreno
- Title
- The Zeros of Exponential Polynomials. I
- Journal
- Compositio Mathematica
- Volume
- 26
- Number
- 1
- Year
- 1973
- Pages
- 69\textendash78
Original bibliography entry · Permalink
Cited in this paper (1 passage)
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
- \hrefhttps://doi.org/10.1155/IMRN/2006/38937doi: 10.1155/IMRN/2006/38937
Original bibliography entry · Permalink
Cited in this paper (1 passage)
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
- \hrefhttps://doi.org/10.1007/BF01835702doi: 10.1007/BF01835702
Original bibliography entry · Permalink
Cited in this paper (1 passage)
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
- \hrefhttps://doi.org/10.1016/j.laa.2005.04.011doi: 10.1016/j.laa.2005.04.011
Original bibliography entry · Permalink
Cited in this paper (1 passage)
PaperI2026
- Author
- Komorebi P.
- Title
- Projector-Resolved Seed Calculus I: Typed Seeds, Operator Grammars, and Exact Reconstruction
- Note
- Version 1.2.1
- Year
- 2026
Original bibliography entry · Permalink
Cited in this paper (1 passage)
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
Original bibliography entry · Permalink
Cited in this paper (1 passage)
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
Original bibliography entry · Permalink
Cited in this paper (1 passage)
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
Original bibliography entry · Permalink
Cited in this paper (1 passage)
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
Original bibliography entry · Permalink