@article{WangSontag2008,
  author = {L. Wang and E. D. Sontag},
  title = {On the number of steady states in a multiple futile cycle},
  journal = {J. Math. Biol.}, volume = {57}, number = {1}, pages = {29--52}, year = {2008},
  note = {\href{https://doi.org/10.1007/s00285-007-0145-z}{doi:10.1007/s00285-007-0145-z}; \href{https://arxiv.org/abs/0704.0036}{arXiv:0704.0036}}
}
@article{FHC2014,
  author = {D. Flockerzi and K. Holstein and C. Conradi},
  title = {{$N$}-site phosphorylation systems with {$2N-1$} steady states},
  journal = {Bull. Math. Biol.}, volume = {76}, number = {8}, pages = {1892--1916}, year = {2014},
  note = {\href{https://doi.org/10.1007/s11538-014-9984-0}{doi:10.1007/s11538-014-9984-0}; \href{https://arxiv.org/abs/1312.4774}{arXiv:1312.4774}}
}
@article{FRW2020,
  author = {E. Feliu and A. D. Rendall and C. Wiuf},
  title = {A proof of unlimited multistability for phosphorylation cycles},
  journal = {Nonlinearity}, volume = {33}, number = {11}, pages = {5629--5658}, year = {2020},
  note = {\href{https://doi.org/10.1088/1361-6544/ab9a1e}{doi:10.1088/1361-6544/ab9a1e}; \href{https://arxiv.org/abs/1904.02983}{arXiv:1904.02983}}
}
@article{GRPD2019,
  author = {M. Giaroli and R. Rischter and M. {P\'erez Mill\'an} and A. Dickenstein},
  title = {Parameter regions that give rise to {$2\lfloor n/2\rfloor+1$} positive steady states in the {$n$}-site phosphorylation system},
  journal = {Math. Biosci. Eng.}, volume = {16}, number = {6}, pages = {7589--7615}, year = {2019},
  note = {\href{https://doi.org/10.3934/mbe.2019381}{doi:10.3934/mbe.2019381}; \href{https://arxiv.org/abs/1904.11633}{arXiv:1904.11633}}
}
@article{ThomsonGunawardena2009,
  author = {M. Thomson and J. Gunawardena},
  title = {Unlimited multistability in multisite phosphorylation systems},
  journal = {Nature}, volume = {460}, pages = {274--277}, year = {2009},
  note = {\href{https://doi.org/10.1038/nature08102}{doi:10.1038/nature08102}}
}
@article{Markevich2004,
  author = {N. I. Markevich and J. B. Hoek and B. N. Kholodenko},
  title = {Signaling switches and bistability arising from multisite phosphorylation in protein kinase cascades},
  journal = {J. Cell Biol.}, volume = {164}, number = {3}, pages = {353--359}, year = {2004},
  note = {\href{https://doi.org/10.1083/jcb.200308060}{doi:10.1083/jcb.200308060}}
}
@article{Gunawardena2005,
  author = {J. Gunawardena},
  title = {Multisite protein phosphorylation makes a good threshold but can be a poor switch},
  journal = {Proc. Natl. Acad. Sci. USA}, volume = {102}, number = {41}, pages = {14617--14622}, year = {2005},
  note = {\href{https://doi.org/10.1073/pnas.0507322102}{doi:10.1073/pnas.0507322102}}
}
@article{ConradiShiu2018,
  author = {C. Conradi and A. Shiu},
  title = {Dynamics of posttranslational modification systems: recent progress and future directions},
  journal = {Biophys. J.}, volume = {114}, number = {3}, pages = {507--515}, year = {2018},
  note = {\href{https://doi.org/10.1016/j.bpj.2017.11.3787}{doi:10.1016/j.bpj.2017.11.3787}; \href{https://arxiv.org/abs/1705.10913}{arXiv:1705.10913}}
}
@article{HolsteinFlockerziConradi2013,
  author = {K. Holstein and D. Flockerzi and C. Conradi},
  title = {Multistationarity in sequential distributed multisite phosphorylation networks},
  journal = {Bull. Math. Biol.}, volume = {75}, number = {11}, pages = {2028--2058}, year = {2013},
  note = {\href{https://doi.org/10.1007/s11538-013-9878-6}{doi:10.1007/s11538-013-9878-6}; \href{https://arxiv.org/abs/1304.6661}{arXiv:1304.6661}}
}
@article{ConradiFlockerziRaisch2008,
  author = {C. Conradi and D. Flockerzi and J. Raisch},
  title = {Multistationarity in the activation of a {MAPK}: parametrizing the relevant region in parameter space},
  journal = {Math. Biosci.}, volume = {211}, number = {1}, pages = {105--131}, year = {2008},
  note = {\href{https://doi.org/10.1016/j.mbs.2007.10.004}{doi:10.1016/j.mbs.2007.10.004}}
}
@article{HellRendall2015,
  author = {J. Hell and A. D. Rendall},
  title = {A proof of bistability for the dual futile cycle},
  journal = {Nonlinear Anal. Real World Appl.}, volume = {24}, pages = {175--189}, year = {2015},
  note = {\href{https://doi.org/10.1016/j.nonrwa.2015.02.004}{doi:10.1016/j.nonrwa.2015.02.004}; \href{https://arxiv.org/abs/1404.0394}{arXiv:1404.0394}}
}
@article{ConradiMincheva2014,
  author = {C. Conradi and M. Mincheva},
  title = {Catalytic constants enable the emergence of bistability in dual phosphorylation},
  journal = {J. R. Soc. Interface}, volume = {11}, number = {95}, pages = {20140158}, year = {2014},
  note = {\href{https://doi.org/10.1098/rsif.2014.0158}{doi:10.1098/rsif.2014.0158}}
}
@article{CFMW2017,
  author = {C. Conradi and E. Feliu and M. Mincheva and C. Wiuf},
  title = {Identifying parameter regions for multistationarity},
  journal = {PLoS Comput. Biol.}, volume = {13}, number = {10}, pages = {e1005751}, year = {2017},
  note = {\href{https://doi.org/10.1371/journal.pcbi.1005751}{doi:10.1371/journal.pcbi.1005751}; \href{https://arxiv.org/abs/1608.03993}{arXiv:1608.03993}}
}
@article{BihanDickensteinGiaroli2020,
  author = {F. Bihan and A. Dickenstein and M. Giaroli},
  title = {Lower bounds for positive roots and regions of multistationarity in chemical reaction networks},
  journal = {J. Algebra}, volume = {542}, pages = {367--411}, year = {2020},
  note = {\href{https://doi.org/10.1016/j.jalgebra.2019.10.002}{doi:10.1016/j.jalgebra.2019.10.002}; \href{https://arxiv.org/abs/1807.05157}{arXiv:1807.05157}}
}
@article{FKdWY2022,
  author = {E. Feliu and N. Kaihnsa and T. de Wolff and O. Y\"ur\"uk},
  title = {The kinetic space of multistationarity in dual phosphorylation},
  journal = {J. Dynam. Differential Equations}, volume = {34}, number = {2}, pages = {825--852}, year = {2022},
  note = {\href{https://doi.org/10.1007/s10884-020-09889-6}{doi:10.1007/s10884-020-09889-6}; \href{https://arxiv.org/abs/2001.08285}{arXiv:2001.08285}}
}
@article{FKdWY2023,
  author = {E. Feliu and N. Kaihnsa and T. de Wolff and O. Y\"ur\"uk},
  title = {Parameter region for multistationarity in {$n$}-site phosphorylation networks},
  journal = {SIAM J. Appl. Dyn. Syst.}, volume = {22}, number = {3}, pages = {2024--2053}, year = {2023},
  note = {\href{https://doi.org/10.1137/22M1504548}{doi:10.1137/22M1504548}; \href{https://arxiv.org/abs/2206.08908}{arXiv:2206.08908}}
}
@article{TorresFeliu2021,
  author = {A. Torres and E. Feliu},
  title = {Symbolic proof of bistability in reaction networks},
  journal = {SIAM J. Appl. Dyn. Syst.}, volume = {20}, number = {1}, pages = {1--37}, year = {2021},
  note = {\href{https://doi.org/10.1137/20M1326672}{doi:10.1137/20M1326672}; \href{https://arxiv.org/abs/1909.13608}{arXiv:1909.13608}}
}
@article{Dickenstein2020,
  author = {A. Dickenstein},
  title = {Algebraic geometry tools in systems biology},
  journal = {Notices Amer. Math. Soc.}, volume = {67}, number = {11}, year = {2020},
  note = {\href{https://doi.org/10.1090/noti2188}{doi:10.1090/noti2188}}
}
@incollection{Dickenstein2016,
  author = {A. Dickenstein},
  title = {Biochemical reaction networks: an invitation for algebraic geometers},
  booktitle = {Mathematical Congress of the Americas},
  series = {Contemp. Math.}, volume = {656}, publisher = {Amer. Math. Soc.}, pages = {65--83}, year = {2016},
  note = {\href{https://doi.org/10.1090/conm/656/13076}{doi:10.1090/conm/656/13076}}
}
@article{PDSC2012,
  author = {M. {P\'erez Mill\'an} and A. Dickenstein and A. Shiu and C. Conradi},
  title = {Chemical reaction systems with toric steady states},
  journal = {Bull. Math. Biol.}, volume = {74}, number = {5}, pages = {1027--1065}, year = {2012},
  note = {\href{https://doi.org/10.1007/s11538-011-9685-x}{doi:10.1007/s11538-011-9685-x}; \href{https://arxiv.org/abs/1102.1590}{arXiv:1102.1590}}
}
@article{FeliuWiuf2012,
  author = {E. Feliu and C. Wiuf},
  title = {Enzyme-sharing as a cause of multi-stationarity in signalling systems},
  journal = {J. R. Soc. Interface}, volume = {9}, number = {71}, pages = {1224--1232}, year = {2012},
  note = {\href{https://doi.org/10.1098/rsif.2011.0664}{doi:10.1098/rsif.2011.0664}; \href{https://arxiv.org/abs/1101.5799}{arXiv:1101.5799}}
}
@article{SalazarHofer2009,
  author = {C. Salazar and T. H\"ofer},
  title = {Multisite protein phosphorylation -- from molecular mechanisms to kinetic models},
  journal = {FEBS J.}, volume = {276}, number = {12}, pages = {3177--3198}, year = {2009},
  note = {\href{https://doi.org/10.1111/j.1742-4658.2009.07027.x}{doi:10.1111/j.1742-4658.2009.07027.x}}
}
@article{Cohen2000,
  author = {P. Cohen},
  title = {The regulation of protein function by multisite phosphorylation -- a 25 year update},
  journal = {Trends Biochem. Sci.}, volume = {25}, number = {12}, pages = {596--601}, year = {2000},
  note = {\href{https://doi.org/10.1016/S0968-0004(00)01712-6}{doi:10.1016/S0968-0004(00)01712-6}}
}
@article{CMS2019,
  author = {C. Conradi and M. Mincheva and A. Shiu},
  title = {Emergence of oscillations in a mixed-mechanism phosphorylation system},
  journal = {Bull. Math. Biol.}, volume = {81}, number = {6}, pages = {1829--1852}, year = {2019},
  note = {\href{https://doi.org/10.1007/s11538-019-00580-6}{doi:10.1007/s11538-019-00580-6}; \href{https://arxiv.org/abs/1809.02886}{arXiv:1809.02886}}
}
@article{CFM2020,
  author = {C. Conradi and E. Feliu and M. Mincheva},
  title = {On the existence of {H}opf bifurcations in the sequential and distributive double phosphorylation cycle},
  journal = {Math. Biosci. Eng.}, volume = {17}, number = {1}, pages = {494--513}, year = {2020},
  note = {\href{https://doi.org/10.3934/mbe.2020027}{doi:10.3934/mbe.2020027}; \href{https://arxiv.org/abs/1905.08129}{arXiv:1905.08129}}
}
@article{ConradiMincheva2024,
  author = {C. Conradi and M. Mincheva},
  title = {In distributive phosphorylation catalytic constants enable non-trivial dynamics},
  journal = {J. Math. Biol.}, volume = {89}, number = {2}, pages = {20}, year = {2024},
  note = {\href{https://doi.org/10.1007/s00285-024-02114-8}{doi:10.1007/s00285-024-02114-8}; \href{https://arxiv.org/abs/2308.08524}{arXiv:2308.08524}}
}
@inproceedings{Lean4,
  author = {L. de Moura and S. Ullrich},
  title = {The {L}ean 4 theorem prover and programming language},
  booktitle = {Automated Deduction -- CADE 28},
  series = {Lecture Notes in Comput. Sci.}, volume = {12699}, publisher = {Springer}, pages = {625--635}, year = {2021},
  note = {\href{https://doi.org/10.1007/978-3-030-79876-5_37}{doi:10.1007/978-3-030-79876-5\_37}}
}
@inproceedings{Mathlib,
  author = {{The mathlib Community}},
  title = {The {L}ean mathematical library},
  booktitle = {Proc. 9th ACM SIGPLAN Int. Conf. on Certified Programs and Proofs (CPP 2020)},
  publisher = {ACM}, pages = {367--381}, year = {2020},
  note = {\href{https://doi.org/10.1145/3372885.3373824}{doi:10.1145/3372885.3373824}; \href{https://arxiv.org/abs/1910.09336}{arXiv:1910.09336}}
}
@book{Gantmacher,
  author = {F. R. Gantmacher},
  title = {The Theory of Matrices},
  volume = {2}, publisher = {Chelsea}, address = {New York}, year = {1959}
}
@book{KrasnoselskiiZabreiko,
  author = {M. A. Krasnosel'ski{\u\i} and P. P. Zabre{\u\i}ko},
  title = {Geometrical Methods of Nonlinear Analysis},
  series = {Grundlehren der mathematischen Wissenschaften}, volume = {263},
  publisher = {Springer}, address = {Berlin}, year = {1984}
}
@book{Deimling,
  author = {K. Deimling},
  title = {Nonlinear Functional Analysis},
  publisher = {Springer}, address = {Berlin}, year = {1985}
}
@book{GuilleminPollack,
  author = {V. Guillemin and A. Pollack},
  title = {Differential Topology},
  publisher = {Prentice-Hall}, address = {Englewood Cliffs, NJ}, year = {1974}
}
@article{Hofbauer1990,
  author = {J. Hofbauer},
  title = {An index theorem for dissipative semiflows},
  journal = {Rocky Mountain J. Math.}, volume = {20}, number = {4}, pages = {1017--1031}, year = {1990},
  note = {\href{https://doi.org/10.1216/rmjm/1181073059}{doi:10.1216/rmjm/1181073059}}
}
@book{BermanPlemmons,
  author = {A. Berman and R. J. Plemmons},
  title = {Nonnegative Matrices in the Mathematical Sciences},
  series = {Classics in Applied Mathematics}, volume = {9},
  publisher = {SIAM}, address = {Philadelphia}, year = {1994}
}
@book{HLP,
  author = {G. H. Hardy and J. E. Littlewood and G. P{\'o}lya},
  title = {Inequalities},
  edition = {2nd}, publisher = {Cambridge University Press}, year = {1952}
}
@book{Kato,
  author = {T. Kato},
  title = {Perturbation Theory for Linear Operators},
  series = {Classics in Mathematics}, publisher = {Springer}, address = {Berlin}, year = {1995}
}
@book{KKO,
  author = {P. Kokotovi{\'c} and H. K. Khalil and J. O'Reilly},
  title = {Singular Perturbation Methods in Control: Analysis and Design},
  series = {Classics in Applied Mathematics}, volume = {25},
  publisher = {SIAM}, address = {Philadelphia}, year = {1999}
}
@book{HornJohnson,
  author = {R. A. Horn and C. R. Johnson},
  title = {Matrix Analysis},
  edition = {2nd}, publisher = {Cambridge University Press}, year = {2013}
}
@article{HornJackson1972,
  author = {F. Horn and R. Jackson},
  title = {General mass action kinetics},
  journal = {Arch. Rational Mech. Anal.}, volume = {47}, pages = {81--116}, year = {1972},
  note = {\href{https://doi.org/10.1007/BF00251225}{doi:10.1007/BF00251225}}
}
@article{AngeliSontag2008,
  author = {D. Angeli and E. D. Sontag},
  title = {Translation-invariant monotone systems, and a global convergence result for enzymatic futile cycles},
  journal = {Nonlinear Anal. Real World Appl.}, volume = {9}, number = {1}, pages = {128--140}, year = {2008},
  note = {\href{https://doi.org/10.1016/j.nonrwa.2006.09.006}{doi:10.1016/j.nonrwa.2006.09.006}}
}