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.
ConstantineSavits1996
- Author
- Constantine, Gregory M. and Savits, Thomas H.
- Title
- A multivariate Faà di Bruno formula with applications
- Journal
- Transactions of the American Mathematical Society
- Volume
- 348
- Number
- 2
- Year
- 1996
- Pages
- 503–520
Original bibliography entry · Permalink
Cited in this paper (1 passage)
Deimling1985
- Author
- Deimling, Klaus
- Title
- Nonlinear Functional Analysis
- Publisher
- Springer
- Address
- Berlin
- Year
- 1985
Original bibliography entry · Permalink
Cited in this paper (1 passage)
LodayVallette2012
- Author
- Loday, Jean Louis and Vallette, Bruno
- Title
- Algebraic Operads
- Publisher
- Springer
- Address
- Berlin
- Year
- 2012
Original bibliography entry · Permalink
Cited in this paper (2 passages)
McCleary2001
- Author
- McCleary, John
- Title
- A User's Guide to Spectral Sequences
- Edition
- Second
- Publisher
- Cambridge University Press
- Address
- Cambridge
- Year
- 2001
Original bibliography entry · Permalink
Cited in this paper (2 passages)
Weibel1994
- Author
- Weibel, Charles A.
- Title
- An Introduction to Homological Algebra
- Publisher
- Cambridge University Press
- Address
- Cambridge
- Year
- 1994
Original bibliography entry · Permalink
Cited in this paper (2 passages)
Kato1950
- Author
- Kato, Tosio
- Title
- On the adiabatic theorem of quantum mechanics
- Journal
- Journal of the Physical Society of Japan
- Volume
- 5
- Year
- 1950
- Pages
- 435–439
Original bibliography entry · Permalink
Cited in this paper (2 passages)
Kato1995
- Author
- Kato, Tosio
- Title
- Perturbation Theory for Linear Operators
- Publisher
- Springer
- Address
- Berlin
- Year
- 1995
Original bibliography entry · Permalink
Cited in this paper (2 passages)
KobayashiNomizu1963
- Author
- Kobayashi, Shoshichi and Nomizu, Katsumi
- Title
- Foundations of Differential Geometry. Volume I
- Publisher
- John Wiley and Sons
- Address
- New York
- Year
- 1963
Original bibliography entry · Permalink
Cited in this paper (2 passages)
GrossTucker1987
- Author
- Gross, Jonathan L. and Tucker, Thomas W.
- Title
- Topological Graph Theory
- Publisher
- John Wiley and Sons
- Address
- New York
- Year
- 1987
Original bibliography entry · Permalink
Cited in this paper (2 passages)
AbrahamMarsdenRatiu1988
- Author
- Abraham, Ralph and Marsden, Jerrold E. and Ratiu, Tudor
- Title
- Manifolds, Tensor Analysis, and Applications
- Edition
- Second
- Series
- Applied Mathematical Sciences
- Volume
- 75
- Publisher
- Springer
- Address
- New York
- Year
- 1988
Original bibliography entry · Permalink
Cited in this paper (1 passage)
Stanley2012
- Author
- Stanley, Richard P.
- 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 (1 passage)
HairerLubichWanner2006
- Author
- Hairer, Ernst and Lubich, Christian and Wanner, Gerhard
- Title
- Geometric Numerical Integration: Structure Preserving Algorithms for Ordinary Differential Equations
- Edition
- Second
- Publisher
- Springer
- Address
- Berlin
- Year
- 2006
Original bibliography entry · Permalink
Cited in this paper (1 passage)
Kielhoefer2012
- Author
- Kielhöfer, Hansjörg
- Title
- Bifurcation Theory: An Introduction with Applications to Partial Differential Equations
- Edition
- Second
- Publisher
- Springer
- Address
- New York
- Year
- 2012
Original bibliography entry · Permalink
Cited in this paper (1 passage)
Zeidler1986
- Author
- Zeidler, Eberhard
- Title
- Nonlinear Functional Analysis and Its Applications. I: Fixed Point Theorems
- Publisher
- Springer
- Address
- New York
- Year
- 1986
Original bibliography entry · Permalink
Cited in this paper (1 passage)
Penrose1955
- Author
- Penrose, Roger
- Title
- A generalized inverse for matrices
- Journal
- Proceedings of the Cambridge Philosophical Society
- Volume
- 51
- Year
- 1955
- Pages
- 406–413
Original bibliography entry · Permalink
Cited in this paper (1 passage)
paperI
- Author
- Komorebi P.
- Title
- Projector-Resolved Seed Calculus I: Typed Seeds, Operator Grammars, and Exact Reconstruction
- Year
- 2026
- Note
- Version 1.2.1
Original bibliography entry · Permalink
Cited in this paper (1 passage)
paperII
- Author
- Komorebi P.
- Title
- Projector-Resolved Seed Calculus II: Polyphase Refinement, Weighted Transfer, and Dyadic–Odd Resolution
- Year
- 2026
- Note
- Version 1.2.1
Original bibliography entry · Permalink
Cited in this paper (1 passage)
lean
- Author
- de Moura, Leonardo and Ullrich, Sebastian
- 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)
mathlib
- 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