Rigorous Quantitative Analysis of Nonlinear Uncertain Biomolecular Systems using Validated Methods
Rudra Prakash, S. Janardhanan, Shaunak Sen
The paper develops interval analysis methods to rigorously bound steady states in nonlinear biomolecular systems and evaluates their performance on gene network models.