Graphical Requirements for Multistationarity in Reaction Networks and their Verification in BioModels

Adrien Baudier, François Fages, Sylvain Soliman

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 different…