Graphical Requirements for Multistationarity in Reaction Networks and their Verification in BioModels
Thomas's necessary conditions for the existence of multiple steady states in gene networks have been proved by Soulé with high generality for dynamical systems defined by …