The role of theorem proving in systems biology

DOI10.1016/j.jtbi.2011.12.023zbMath1397.92266OpenAlexW2162207455WikidataQ51451298 ScholiaQ51451298MaRDI QIDQ1784193

Darryl Shibata, Olaf Wolkenhauer, Mihajlo D. Mesarovic

Publication date: 26 September 2018

Published in: Journal of Theoretical Biology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jtbi.2011.12.023

zbMATH Keywords

dynamical systems theorymultilevel systemsmathematical general systems theorytissue organization

Mathematics Subject Classification ID

Systems biology, networks (92C42)

Cites Work

• Design principles for robust biochemical reaction networks: what works, what cannot work, and what might almost work
• Graph-theoretic criteria for injectivity and unique equilibria in general chemical reaction systems
• General systems theory: mathematical foundations
• Introduction to Applied Nonlinear Dynamical Systems and Chaos
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The role of theorem proving in systems biology