@article{NNU26,
  author  = {Nandan, Praneet and Nghe, Philippe and Unterberger, J{\'e}r{\'e}mie},
  title   = {Autocatalytic cores in the diluted regime: classification and properties},
  journal = {Journal of Mathematical Biology},
  volume  = {92},
  pages   = {article 36},
  year    = {2026},
  note    = {\url{https://doi.org/10.1007/s00285-026-02357-7}; arXiv:2507.15546}
}

@article{UN22,
  author  = {Unterberger, J{\'e}r{\'e}mie and Nghe, Philippe},
  title   = {Stoechiometric and dynamical autocatalysis for diluted chemical reaction networks},
  journal = {Journal of Mathematical Biology},
  volume  = {85},
  pages   = {article 26},
  year    = {2022},
  note    = {\url{https://doi.org/10.1007/s00285-022-01798-0}}
}

@article{BLN20,
  author  = {Blokhuis, Alex and Lacoste, David and Nghe, Philippe},
  title   = {Universal motifs and the diversity of autocatalytic systems},
  journal = {Proceedings of the National Academy of Sciences of the USA},
  volume  = {117},
  number  = {41},
  pages   = {25230--25236},
  year    = {2020},
  note    = {\url{https://doi.org/10.1073/pnas.2013527117}}
}

@misc{TypeIIpos,
  author = {Mislan, Michael},
  title = {Unistationarity of {T}ype {II}$_\ell$ autocatalytic cores},
  howpublished = {Zenodo, version 1.0},
  note = {\url{https://doi.org/10.5281/zenodo.23479694}},
  doi = {10.5281/zenodo.23479694},
  year = {2026}
}

@article{Kau86,
  author  = {Kauffman, Stuart A.},
  title   = {Autocatalytic sets of proteins},
  journal = {Journal of Theoretical Biology},
  volume  = {119},
  number  = {1},
  pages   = {1--24},
  year    = {1986},
  note    = {\url{https://doi.org/10.1016/S0022-5193(86)80047-9}}
}

@article{HS04,
  author  = {Hordijk, Wim and Steel, Mike},
  title   = {Detecting autocatalytic, self-sustaining sets in chemical reaction systems},
  journal = {Journal of Theoretical Biology},
  volume  = {227},
  number  = {4},
  pages   = {451--461},
  year    = {2004},
  note    = {\url{https://doi.org/10.1016/j.jtbi.2003.11.020}}
}

@article{HJ72,
  author  = {Horn, Fritz and Jackson, Roy},
  title   = {General mass action kinetics},
  journal = {Archive for Rational Mechanics and Analysis},
  volume  = {47},
  pages   = {81--116},
  year    = {1972},
  note    = {\url{https://doi.org/10.1007/BF00251225}}
}

@article{Fei87,
  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},
  pages   = {2229--2268},
  year    = {1987},
  note    = {\url{https://doi.org/10.1016/0009-2509(87)80099-4}}
}

@book{Fei19,
  author    = {Feinberg, Martin},
  title     = {Foundations of Chemical Reaction Network Theory},
  series    = {Applied Mathematical Sciences},
  volume    = {202},
  publisher = {Springer},
  address   = {Cham},
  year      = {2019},
  note      = {\url{https://doi.org/10.1007/978-3-030-03858-8}}
}

@article{CF05,
  author  = {Craciun, Gheorghe and Feinberg, Martin},
  title   = {Multiple equilibria in complex chemical reaction networks: {I}. {T}he injectivity property},
  journal = {SIAM Journal on Applied Mathematics},
  volume  = {65},
  number  = {5},
  pages   = {1526--1546},
  year    = {2005},
  note    = {\url{https://doi.org/10.1137/S0036139904440278}}
}

@article{CF06,
  author  = {Craciun, Gheorghe and Feinberg, Martin},
  title   = {Multiple equilibria in complex chemical reaction networks: {II}. {T}he species-reaction graph},
  journal = {SIAM Journal on Applied Mathematics},
  volume  = {66},
  number  = {4},
  pages   = {1321--1338},
  year    = {2006},
  note    = {\url{https://doi.org/10.1137/050634177}}
}

@article{BC10,
  author  = {Banaji, Murad and Craciun, Gheorghe},
  title   = {Graph-theoretic criteria for injectivity and unique equilibria in general chemical reaction systems},
  journal = {Advances in Applied Mathematics},
  volume  = {44},
  number  = {2},
  pages   = {168--184},
  year    = {2010},
  note    = {\url{https://doi.org/10.1016/j.aam.2009.07.003}}
}

@article{FW12,
  author  = {Feliu, Elisenda and Wiuf, Carsten},
  title   = {Preclusion of switch behavior in networks with mass-action kinetics},
  journal = {Applied Mathematics and Computation},
  volume  = {219},
  number  = {4},
  pages   = {1449--1467},
  year    = {2012},
  note    = {\url{https://doi.org/10.1016/j.amc.2012.07.048}}
}

@article{MFRCSD16,
  author  = {M{\"u}ller, Stefan and Feliu, Elisenda and Regensburger, Georg and Conradi, Carsten and Shiu, Anne and Dickenstein, Alicia},
  title   = {Sign conditions for injectivity of generalized polynomial maps with applications to chemical reaction networks and real algebraic geometry},
  journal = {Foundations of Computational Mathematics},
  volume  = {16},
  number  = {1},
  pages   = {69--97},
  year    = {2016},
  note    = {\url{https://doi.org/10.1007/s10208-014-9239-3}}
}

@article{JS15,
  author  = {Joshi, Badal and Shiu, Anne},
  title   = {A survey of methods for deciding whether a reaction network is multistationary},
  journal = {Mathematical Modelling of Natural Phenomena},
  volume  = {10},
  number  = {5},
  pages   = {47--67},
  year    = {2015},
  note    = {\url{https://doi.org/10.1051/mmnp/201510504}}
}

@article{CFMW17,
  author  = {Conradi, Carsten and Feliu, Elisenda and Mincheva, Maya and Wiuf, Carsten},
  title   = {Identifying parameter regions for multistationarity},
  journal = {PLoS Computational Biology},
  volume  = {13},
  number  = {10},
  pages   = {e1005751},
  year    = {2017},
  note    = {\url{https://doi.org/10.1371/journal.pcbi.1005751}}
}

@book{BP94,
  author    = {Berman, Abraham and Plemmons, Robert J.},
  title     = {Nonnegative Matrices in the Mathematical Sciences},
  series    = {Classics in Applied Mathematics},
  volume    = {9},
  publisher = {SIAM},
  address   = {Philadelphia},
  year      = {1994},
  note      = {\url{https://doi.org/10.1137/1.9781611971262}}
}

@book{HJ13,
  author    = {Horn, Roger A. and Johnson, Charles R.},
  title     = {Matrix Analysis},
  edition   = {Second},
  publisher = {Cambridge University Press},
  address   = {Cambridge},
  year      = {2013}
}

@book{KP02,
  author    = {Krantz, Steven G. and Parks, Harold R.},
  title     = {The Implicit Function Theorem: History, Theory, and Applications},
  publisher = {Birkh{\"a}user},
  address   = {Boston},
  year      = {2002},
  note      = {\url{https://doi.org/10.1007/978-1-4612-0059-8}}
}

@inproceedings{dMU21,
  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},
  publisher = {Springer},
  pages     = {625--635},
  year      = {2021},
  note      = {\url{https://doi.org/10.1007/978-3-030-79876-5_37}}
}

@inproceedings{mathlib20,
  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)},
  publisher = {ACM},
  pages     = {367--381},
  year      = {2020},
  note      = {\url{https://doi.org/10.1145/3372885.3373824}}
}