From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools

  • François Fages
Conference paper

DOI: 10.1007/11732488_6

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3939)
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

Abstract

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 [1]. 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 [2].

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • François Fages
    • 1
  1. 1.Projet Contraintes, INRIA RocquencourtLe ChesnayFrance

Personalised recommendations