ABSTRACT
Mathematical models are used to translate biological problems into a formal language, to apply this language for formal reasoning and to provide new insights on the problems. We propose, in this chapter, to study mathematical models of problems related to cancer cell biology. After explaining our motivation, goals and method of modelling biological systems using formal mathematical tools, we will present two examples of mathematical models of the cell cycle using both chemical kinetics and logical formalisms. From these models, we will extract motifs of feedback loops and study them independently.
