@article{HornJackson1972,
  author  = {Horn, F. and Jackson, R.},
  title   = {General mass action kinetics},
  journal = {Archive for Rational Mechanics and Analysis},
  volume  = {47},
  year    = {1972},
  pages   = {81--116}
}

@article{Feinberg1972,
  author  = {Feinberg, Martin},
  title   = {Complex balancing in general kinetic systems},
  journal = {Archive for Rational Mechanics and Analysis},
  volume  = {49},
  year    = {1972},
  pages   = {187--194}
}

@article{AngeliDeLeenheerSontag2007,
  author  = {Angeli, David and De Leenheer, Patrick and Sontag, Eduardo D.},
  title   = {A {P}etri net approach to the study of persistence in chemical reaction networks},
  journal = {Mathematical Biosciences},
  volume  = {210},
  number  = {2},
  year    = {2007},
  pages   = {598--618}
}

@article{Anderson2011,
  author  = {Anderson, David F.},
  title   = {A proof of the {G}lobal {A}ttractor {C}onjecture in the single linkage class case},
  journal = {SIAM Journal on Applied Mathematics},
  volume  = {71},
  number  = {4},
  year    = {2011},
  pages   = {1487--1508}
}

@article{CraciunNazarovPantea2013,
  author  = {Craciun, Gheorghe and Nazarov, Fedor and Pantea, Casian},
  title   = {Persistence and permanence of mass-action and power-law dynamical systems},
  journal = {SIAM Journal on Applied Mathematics},
  volume  = {73},
  number  = {1},
  year    = {2013},
  pages   = {305--329},
  note    = {\href{https://arxiv.org/abs/1010.3050}{arXiv:1010.3050}}
}

@article{Pantea2012,
  author  = {Pantea, Casian},
  title   = {On the persistence and global stability of mass-action systems},
  journal = {SIAM Journal on Mathematical Analysis},
  volume  = {44},
  number  = {3},
  year    = {2012},
  pages   = {1636--1673},
  note    = {\href{https://arxiv.org/abs/1103.0603}{arXiv:1103.0603}}
}

@article{GopalkrishnanMillerShiu2014,
  author  = {Gopalkrishnan, Manoj and Miller, Ezra and Shiu, Anne},
  title   = {A geometric approach to the {G}lobal {A}ttractor {C}onjecture},
  journal = {SIAM Journal on Applied Dynamical Systems},
  volume  = {13},
  number  = {2},
  year    = {2014},
  pages   = {758--797},
  note    = {\href{https://arxiv.org/abs/1305.5303}{arXiv:1305.5303}}
}

@article{JohnstonPanteaDonnell2016,
  author  = {Johnston, Matthew D. and Pantea, Casian and Donnell, Pete},
  title   = {A computational approach to persistence, permanence, and endotacticity of biochemical reaction systems},
  journal = {Journal of Mathematical Biology},
  volume  = {72},
  number  = {1--2},
  year    = {2016},
  pages   = {467--498},
  note    = {\href{https://arxiv.org/abs/1412.4662}{arXiv:1412.4662}}
}

@misc{Craciun2015,
  author       = {Craciun, Gheorghe},
  title        = {Toric differential inclusions and a proof of the global attractor conjecture},
  year         = {2015},
  howpublished = {\href{https://arxiv.org/abs/1501.02860}{arXiv:1501.02860}}
}

@article{CraciunDeshpande2020,
  author  = {Craciun, Gheorghe and Deshpande, Abhishek},
  title   = {Endotactic networks and toric differential inclusions},
  journal = {SIAM Journal on Applied Dynamical Systems},
  volume  = {19},
  number  = {3},
  year    = {2020},
  pages   = {1798--1822},
  note    = {\href{https://arxiv.org/abs/1906.08384}{arXiv:1906.08384}}
}

@article{BorosHofbauer2020,
  author  = {Boros, Bal\'azs and Hofbauer, Josef},
  title   = {Permanence of weakly reversible mass-action systems with a single linkage class},
  journal = {SIAM Journal on Applied Dynamical Systems},
  volume  = {19},
  number  = {1},
  year    = {2020},
  pages   = {352--365}
}

@misc{OpenAI2026Boundedness,
  author={{OpenAI}},
  title={Boundedness and persistence of weakly reversible mass-action systems},
  year={2026},
  howpublished={OpenAI Math Release preprint, September 25, 2026; \href{https://github.com/openai/math/tree/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/Boundedness-and-persistence-of-weakly-reversible-mass-action-systems-September-25-2026}{pinned public paper and sources}, revision \texttt{adc7f1241b42}}
}

@misc{OpenAI2026Uniform,
  author={{OpenAI}},
  title={Uniform permanence in weakly reversible mass-action systems},
  year={2026},
  howpublished={OpenAI Math Release preprint, October 5, 2026; \href{https://github.com/openai/math/tree/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/Uniform-Permanence-in-Weakly-Reversible-Mass-Action-Systems-October-5-2026}{pinned public paper and sources}, revision \texttt{adc7f1241b42}}
}

@book{CoddingtonLevinson1955,
  author    = {Coddington, Earl A. and Levinson, Norman},
  title     = {Theory of Ordinary Differential Equations},
  publisher = {McGraw-Hill},
  address   = {New York},
  year      = {1955}
}

@book{Filippov1988,
  author    = {Filippov, A. F.},
  title     = {Differential Equations with Discontinuous Righthand Sides},
  publisher = {Kluwer},
  address   = {Dordrecht},
  year      = {1988}
}

@inproceedings{Mathlib2020,
  author    = {{The mathlib Community}},
  title     = {The {L}ean mathematical library},
  booktitle = {Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2020)},
  year      = {2020},
  pages     = {367--381}
}

@inproceedings{Lean4,
  author    = {de Moura, Leonardo and Ullrich, Sebastian},
  title     = {The {L}ean 4 theorem prover and programming language},
  booktitle = {Automated Deduction -- CADE 28},
  series    = {Lecture Notes in Computer Science},
  volume    = {12699},
  year      = {2021},
  pages     = {625--635}
}

@misc{OpenAI2026Formal,
 author={{OpenAI}}, title={Mass-action formalization and scope documentation}, year={2026},
 howpublished={\href{https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/lean/docs/149.md}{Pinned public Lean scope note and source links}, revision \texttt{adc7f1241b42}}}

@incollection{Horn1974,
  author    = {Horn, F.},
  title     = {The dynamics of open reaction systems},
  booktitle = {Mathematical Aspects of Chemical and Biochemical Problems and Quantum Chemistry},
  series    = {SIAM--AMS Proceedings},
  volume    = {8},
  year      = {1974},
  pages     = {125--137}
}

@article{Feinberg1987,
  author  = {Feinberg, Martin},
  title   = {Chemical reaction network structure and the stability of complex isothermal reactors---{I}. {T}he deficiency zero and deficiency one theorems},
  journal = {Chemical Engineering Science},
  volume  = {42},
  number  = {10},
  year    = {1987},
  pages   = {2229--2268}
}

@book{Feinberg2019,
  author    = {Feinberg, Martin},
  title     = {Foundations of Chemical Reaction Network Theory},
  series    = {Applied Mathematical Sciences},
  volume    = {202},
  publisher = {Springer},
  address   = {Cham},
  year      = {2019}
}

@article{Sontag2001,
  author  = {Sontag, Eduardo D.},
  title   = {Structure and stability of certain chemical networks and applications to the kinetic proofreading model of {T}-cell receptor signal transduction},
  journal = {IEEE Transactions on Automatic Control},
  volume  = {46},
  number  = {7},
  year    = {2001},
  pages   = {1028--1047}
}

@article{SiegelMacLean2000,
  author  = {Siegel, David and MacLean, Debbie},
  title   = {Global stability of complex balanced mechanisms},
  journal = {Journal of Mathematical Chemistry},
  volume  = {27},
  year    = {2000},
  pages   = {89--110}
}

@article{Anderson2008,
  author  = {Anderson, David F.},
  title   = {Global asymptotic stability for a class of nonlinear chemical equations},
  journal = {SIAM Journal on Applied Mathematics},
  volume  = {68},
  number  = {5},
  year    = {2008},
  pages   = {1464--1476}
}

@article{AndersonShiu2010,
  author  = {Anderson, David F. and Shiu, Anne},
  title   = {The dynamics of weakly reversible population processes near facets},
  journal = {SIAM Journal on Applied Mathematics},
  volume  = {70},
  number  = {6},
  year    = {2010},
  pages   = {1840--1858}
}

@misc{DengFeinbergJonesNachman2011,
  author       = {Deng, Jian and Feinberg, Martin and Jones, Chris and Nachman, Adrian},
  title        = {On the steady states of weakly reversible chemical reaction networks},
  year         = {2011},
  howpublished = {\href{https://arxiv.org/abs/1111.2386}{arXiv:1111.2386}}
}

@article{Kurtz1972,
  author  = {Kurtz, Thomas G.},
  title   = {The relationship between stochastic and deterministic models for chemical reactions},
  journal = {The Journal of Chemical Physics},
  volume  = {57},
  number  = {7},
  year    = {1972},
  pages   = {2976--2978}
}

@article{Gillespie1977,
  author  = {Gillespie, Daniel T.},
  title   = {Exact stochastic simulation of coupled chemical reactions},
  journal = {The Journal of Physical Chemistry},
  volume  = {81},
  number  = {25},
  year    = {1977},
  pages   = {2340--2361}
}

@book{AndersonKurtz2015,
  author    = {Anderson, David F. and Kurtz, Thomas G.},
  title     = {Stochastic Analysis of Biochemical Systems},
  series    = {Mathematical Biosciences Institute Lecture Series},
  volume    = {1.2},
  publisher = {Springer},
  address   = {Cham},
  year      = {2015}
}

@misc{AndersonCappellettiKim2019,
  author       = {Anderson, David F. and Cappelletti, Daniele and Kim, Jinsu},
  title        = {Stochastically modeled weakly reversible reaction networks with a single linkage class},
  year         = {2019},
  howpublished = {\href{https://arxiv.org/abs/1904.08967}{arXiv:1904.08967}}
}

@article{Schnakenberg1976,
  author  = {Schnakenberg, J.},
  title   = {Network theory of microscopic and macroscopic behavior of master equation systems},
  journal = {Reviews of Modern Physics},
  volume  = {48},
  number  = {4},
  year    = {1976},
  pages   = {571--585}
}

@article{Desoeuvres2024,
  author  = {Desoeuvres, Aur\'elien and Iosif, Alexandru and L\"uders, Christoph and Radulescu, Ovidiu and Rahkooy, Hamid and Sei{\ss}, Matthias and Sturm, Thomas},
  title   = {Reduction of chemical reaction networks with approximate conservation laws},
  journal = {SIAM Journal on Applied Dynamical Systems},
  volume  = {23},
  number  = {1},
  year    = {2024},
  note    = {\href{https://doi.org/10.1137/22M1543963}{doi:10.1137/22M1543963}; \href{https://arxiv.org/abs/2212.13474}{arXiv:2212.13474}}
}

@article{Fenichel1979,
  author  = {Fenichel, Neil},
  title   = {Geometric singular perturbation theory for ordinary differential equations},
  journal = {Journal of Differential Equations},
  volume  = {31},
  number  = {1},
  year    = {1979},
  pages   = {53--98}
}

@book{MooreKearfottCloud2009,
  author    = {Moore, Ramon E. and Kearfott, R. Baker and Cloud, Michael J.},
  title     = {Introduction to Interval Analysis},
  publisher = {SIAM},
  address   = {Philadelphia},
  year      = {2009}
}

@book{Tucker2011,
  author    = {Tucker, Warwick},
  title     = {Validated Numerics: A Short Introduction to Rigorous Computations},
  publisher = {Princeton University Press},
  address   = {Princeton},
  year      = {2011}
}

@book{HairerWanner1996,
  author    = {Hairer, Ernst and Wanner, Gerhard},
  title     = {Solving Ordinary Differential Equations {II}: Stiff and Differential-Algebraic Problems},
  edition   = {2nd},
  series    = {Springer Series in Computational Mathematics},
  volume    = {14},
  publisher = {Springer},
  address   = {Berlin},
  year      = {1996}
}

@misc{BIPM2019,
  author       = {{Bureau International des Poids et Mesures}},
  title        = {The International System of Units ({SI})},
  edition      = {9th},
  year         = {2019},
  howpublished = {SI Brochure, \url{https://www.bipm.org/en/publications/si-brochure}}
}