SUNScholar will be offline for maintenance from 10:00 SAST on Wednesday the 21st of November 2018.

ITEM VIEW

The role of theorem proving in systems biology

dc.contributor.authorWolkenhauer O.
dc.contributor.authorShibata D.
dc.contributor.authorMesarovic M.D.
dc.date.accessioned2012-04-12T08:13:00Z
dc.date.available2012-04-12T08:13:00Z
dc.date.issued2012
dc.identifier.citationJournal of Theoretical Biology
dc.identifier.citation300
dc.identifier.citation57
dc.identifier.citation61
dc.identifier.issn225193
dc.identifier.other10.1016/j.jtbi.2011.12.023
dc.identifier.urihttp://hdl.handle.net/10019.1/20468
dc.description.abstractTheorems offer a rarity in biology, a guarantee that something will always be true if certain conditions are met. We show that modeling and theorem proving are distinct while playing mutually supporting roles in understanding cellular phenomena. Using two recently proven theorems from systems biology as examples, we demonstrate that theorems are not an alternative to mechanistic models. Rather, theorem proving, in conjunction with conventional mathematical (mechanistic) modeling, is an essential tool for a deeper understanding in systems biology. © 2011 Elsevier Ltd.
dc.subjectDynamical systems theory
dc.subjectMathematical general systems theory
dc.subjectMultilevel systems
dc.subjectTissue organization
dc.titleThe role of theorem proving in systems biology
dc.typeArticle


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

ITEM VIEW