From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools
- Cite this paper as:
- Fages F. (2006) From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools. In: Priami C., Cardelli L., Emmott S. (eds) Transactions on Computational Systems Biology IV. Lecture Notes in Computer Science, vol 3939. Springer, Berlin, Heidelberg
Mathematical biology has for a long time investigated the dynamics of biomolecular systems by developing numerical models involving (highly non-linear) differential equations and using tools such as Bifurcation Theory for estimating parameters . Mathematical biology provides a firm ground for the numerical analysis of biological systems. However, state-of-the-art quantitative models can hardly be re-used and composed with other models in a systematic fashion, and are limited to a few tenths of variables .
Unable to display preview. Download preview PDF.