TY - RPRT TI - Symbolic proof of bistability in reaction networks AU - Angélica Torres AU - Elisenda Feliu PY - 2020 UR - https://arxiv.org/abs/1909.13608 ID - 1909.13608 ER -