@article{ConstantineSavits1996,
  author = {Constantine, Gregory M. and Savits, Thomas H.},
  title = {A multivariate {Fa\`a di Bruno} formula with applications},
  journal = {Transactions of the American Mathematical Society},
  volume = {348},
  number = {2},
  year = {1996},
  pages = {503--520}
}

@book{Deimling1985,
  author = {Deimling, Klaus},
  title = {Nonlinear Functional Analysis},
  publisher = {Springer},
  address = {Berlin},
  year = {1985}
}

@book{LodayVallette2012,
  author = {Loday, Jean Louis and Vallette, Bruno},
  title = {Algebraic Operads},
  publisher = {Springer},
  address = {Berlin},
  year = {2012}
}


@book{McCleary2001,
  author = {McCleary, John},
  title = {A User's Guide to Spectral Sequences},
  edition = {Second},
  publisher = {Cambridge University Press},
  address = {Cambridge},
  year = {2001}
}

@book{Weibel1994,
  author = {Weibel, Charles A.},
  title = {An Introduction to Homological Algebra},
  publisher = {Cambridge University Press},
  address = {Cambridge},
  year = {1994}
}

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

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

@book{KobayashiNomizu1963,
  author = {Kobayashi, Shoshichi and Nomizu, Katsumi},
  title = {Foundations of Differential Geometry. Volume I},
  publisher = {John Wiley and Sons},
  address = {New York},
  year = {1963}
}

@book{GrossTucker1987,
  author = {Gross, Jonathan L. and Tucker, Thomas W.},
  title = {Topological Graph Theory},
  publisher = {John Wiley and Sons},
  address = {New York},
  year = {1987}
}

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


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


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

@book{Kielhoefer2012,
  author = {Kielh{\"o}fer, Hansj{\"o}rg},
  title = {Bifurcation Theory: An Introduction with Applications to Partial Differential Equations},
  edition = {Second},
  publisher = {Springer},
  address = {New York},
  year = {2012}
}

@book{Zeidler1986,
  author = {Zeidler, Eberhard},
  title = {Nonlinear Functional Analysis and Its Applications. I: Fixed Point Theorems},
  publisher = {Springer},
  address = {New York},
  year = {1986}
}

@article{Penrose1955,
  author = {Penrose, Roger},
  title = {A generalized inverse for matrices},
  journal = {Proceedings of the Cambridge Philosophical Society},
  volume = {51},
  year = {1955},
  pages = {406--413}
}

@misc{paperI,author={Komorebi P.},title={Projector-Resolved Seed Calculus I: Typed Seeds, Operator Grammars, and Exact Reconstruction},year={2026},note={Version 1.2.1}}
@misc{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}}
@incollection{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}}
@inproceedings{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}}