The role of theorem proving in systems biology.
J Theor Biol
; 300: 57-61, 2012 May 07.
Article
en En
| MEDLINE
| ID: mdl-22244914
ABSTRACT
Theorems 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.
Texto completo:
1
Banco de datos:
MEDLINE
Asunto principal:
Biología de Sistemas
/
Modelos Biológicos
Límite:
Animals
Idioma:
En
Año:
2012
Tipo del documento:
Article