@article{acr,
  author  = {Garc{\'\i}a Puente, Luis David and Gross, Elizabeth and Harrington, Heather A. and Johnston, Matthew D. and Meshkat, Nicolette and P{\'e}rez Mill{\'a}n, Mercedes and Shiu, Anne},
  title   = {Absolute concentration robustness: algebra and geometry},
  journal = {J. Symbolic Comput.},
  volume  = {128},
  year    = {2025},
  pages   = {102398},
  doi     = {10.1016/j.jsc.2024.102398},
  note    = {arXiv:2401.00078v3}
}

@article{shinarfeinberg,
  author  = {Shinar, Guy and Feinberg, Martin},
  title   = {Structural sources of robustness in biochemical reaction networks},
  journal = {Science},
  volume  = {327},
  number  = {5971},
  year    = {2010},
  pages   = {1389--1391},
  doi     = {10.1126/science.1183372}
}

@article{batchelor,
  author  = {Batchelor, Eric and Goulian, Mark},
  title   = {Robustness and the cycle of phosphorylation and dephosphorylation in a two-component regulatory system},
  journal = {Proc. Natl. Acad. Sci. USA},
  volume  = {100},
  number  = {2},
  year    = {2003},
  pages   = {691--696},
  doi     = {10.1073/pnas.0234782100}
}

@article{shinaralon,
  author  = {Shinar, Guy and Milo, Ron and Mart{\'\i}nez, Mar{\'\i}a Rodr{\'\i}guez and Alon, Uri},
  title   = {Input--output robustness in simple bacterial signaling systems},
  journal = {Proc. Natl. Acad. Sci. USA},
  volume  = {104},
  number  = {50},
  year    = {2007},
  pages   = {19931--19935},
  doi     = {10.1073/pnas.0706792104}
}

@article{karp,
  author  = {Karp, Robert L. and P{\'e}rez Mill{\'a}n, Mercedes and Dasgupta, Tathagata and Dickenstein, Alicia and Gunawardena, Jeremy},
  title   = {Complex-linear invariants of biochemical networks},
  journal = {J. Theoret. Biol.},
  volume  = {311},
  year    = {2012},
  pages   = {130--138},
  doi     = {10.1016/j.jtbi.2012.07.004}
}

@article{toric,
  author  = {P{\'e}rez Mill{\'a}n, Mercedes and Dickenstein, Alicia and Shiu, Anne and Conradi, Carsten},
  title   = {Chemical reaction systems with toric steady states},
  journal = {Bull. Math. Biol.},
  volume  = {74},
  number  = {5},
  year    = {2012},
  pages   = {1027--1065},
  doi     = {10.1007/s11538-011-9685-x}
}

@article{aej,
  author  = {Anderson, David F. and Enciso, Germ{\'a}n A. and Johnston, Matthew D.},
  title   = {Stochastic analysis of biochemical reaction networks with absolute concentration robustness},
  journal = {J. R. Soc. Interface},
  volume  = {11},
  number  = {93},
  year    = {2014},
  pages   = {20130943},
  doi     = {10.1098/rsif.2013.0943}
}

@article{lowdim,
  author  = {Meshkat, Nicolette and Shiu, Anne and Torres, Angelica},
  title   = {Absolute concentration robustness in networks with low-dimensional stoichiometric subspace},
  journal = {Vietnam J. Math.},
  volume  = {50},
  number  = {3},
  year    = {2022},
  pages   = {623--651},
  doi     = {10.1007/s10013-021-00524-5}
}

@article{localglobal,
  author  = {Pascual-Escudero, Beatriz and Feliu, Elisenda},
  title   = {Local and global robustness at steady state},
  journal = {Math. Methods Appl. Sci.},
  volume  = {45},
  number  = {1},
  year    = {2022},
  pages   = {359--382},
  doi     = {10.1002/mma.7780}
}

@article{integral,
  author  = {Cappelletti, Daniele and Gupta, Ankit and Khammash, Mustafa},
  title   = {A hidden integral structure endows absolute concentration robust systems with resilience to dynamical concentration disturbances},
  journal = {J. R. Soc. Interface},
  volume  = {17},
  number  = {171},
  year    = {2020},
  pages   = {20200437},
  doi     = {10.1098/rsif.2020.0437}
}

@article{dynamic,
  author  = {Joshi, Badal and Craciun, Gheorghe},
  title   = {Foundations of static and dynamic absolute concentration robustness},
  journal = {J. Math. Biol.},
  volume  = {85},
  number  = {5},
  year    = {2022},
  pages   = {53},
  doi     = {10.1007/s00285-022-01823-2}
}

@misc{generic,
  author = {Feliu, Elisenda and Henriksson, Oskar and Pascual-Escudero, Beatriz},
  title  = {The generic geometry of steady state varieties},
  year   = {2026},
  note   = {arXiv:2412.17798v3; to appear in SIAM J. Appl. Algebra Geom.}
}

@article{suzuki,
  author  = {Suzuki, Akira and Sato, Yosuke},
  title   = {An alternative approach to comprehensive {G}r{\"o}bner bases},
  journal = {J. Symbolic Comput.},
  volume  = {36},
  number  = {3--4},
  year    = {2003},
  pages   = {649--667},
  doi     = {10.1016/S0747-7171(03)00098-1}
}

@article{weispfenning,
  author  = {Weispfenning, Volker},
  title   = {Comprehensive {G}r{\"o}bner bases},
  journal = {J. Symbolic Comput.},
  volume  = {14},
  number  = {1},
  year    = {1992},
  pages   = {1--29},
  doi     = {10.1016/0747-7171(92)90023-W}
}

@article{kalkbrener,
  author  = {Kalkbrener, Michael},
  title   = {On the stability of {G}r{\"o}bner bases under specializations},
  journal = {J. Symbolic Comput.},
  volume  = {24},
  number  = {1},
  year    = {1997},
  pages   = {51--58},
  doi     = {10.1006/jsco.1997.0113}
}

@book{montes,
  author    = {Montes, Antonio},
  title     = {The {G}r{\"o}bner Cover},
  series    = {Algorithms and Computation in Mathematics},
  volume    = {27},
  publisher = {Springer},
  address   = {Cham},
  year      = {2018},
  doi       = {10.1007/978-3-030-03904-2}
}

@book{clo,
  author    = {Cox, David A. and Little, John and O'Shea, Donal},
  title     = {Ideals, Varieties, and Algorithms},
  edition   = {Fourth},
  series    = {Undergraduate Texts in Mathematics},
  publisher = {Springer},
  address   = {Cham},
  year      = {2015},
  doi       = {10.1007/978-3-319-16721-3}
}

@book{matsumura,
  author    = {Matsumura, Hideyuki},
  title     = {Commutative Ring Theory},
  series    = {Cambridge Studies in Advanced Mathematics},
  volume    = {8},
  publisher = {Cambridge University Press},
  address   = {Cambridge},
  year      = {1986}
}

@book{bcr,
  author    = {Bochnak, Jacek and Coste, Michel and Roy, Marie-Fran{\c{c}}oise},
  title     = {Real Algebraic Geometry},
  series    = {Ergebnisse der Mathematik und ihrer Grenzgebiete (3)},
  volume    = {36},
  publisher = {Springer},
  address   = {Berlin},
  year      = {1998},
  doi       = {10.1007/978-3-662-03718-8}
}

@book{khalil,
  author    = {Khalil, Hassan K.},
  title     = {Nonlinear Systems},
  edition   = {Third},
  publisher = {Prentice Hall},
  address   = {Upper Saddle River, NJ},
  year      = {2002}
}

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

@article{fwlinear,
  author  = {Feliu, Elisenda and Wiuf, Carsten},
  title   = {Variable elimination in chemical reaction networks with mass-action kinetics},
  journal = {SIAM J. Appl. Math.},
  volume  = {72},
  number  = {4},
  year    = {2012},
  pages   = {959--981},
  doi     = {10.1137/110847305}
}

@article{fwptm,
  author  = {Feliu, Elisenda and Wiuf, Carsten},
  title   = {Variable elimination in post-translational modification reaction networks with mass-action kinetics},
  journal = {J. Math. Biol.},
  volume  = {66},
  number  = {1--2},
  year    = {2013},
  pages   = {281--310},
  doi     = {10.1007/s00285-012-0510-4}
}

@article{fwintermediate,
  author  = {Feliu, Elisenda and Wiuf, Carsten},
  title   = {Simplifying biochemical models with intermediate species},
  journal = {J. R. Soc. Interface},
  volume  = {10},
  number  = {87},
  year    = {2013},
  pages   = {20130484},
  doi     = {10.1098/rsif.2013.0484}
}

@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},
  publisher = {Springer},
  address   = {Cham},
  year      = {2021},
  pages     = {625--635},
  doi       = {10.1007/978-3-030-79876-5_37}
}

@inproceedings{mathlib,
  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},
  address   = {New York},
  year      = {2020},
  pages     = {367--381},
  doi       = {10.1145/3372885.3373824}
}