Formal Proof of Theorems on Genetic Regulatory Networks.

Maxime Dénès Benjamin Lesage Yves Bertot Adrien Richard

Published in: SYNASC (2009)

Keyphrases

formal proof
genetic regulatory networks
steady state
reverse engineering
gene regulatory networks
theorem prover
ordinary differential equations
qualitative simulation
qualitative models
markov chain
biological networks
neural network
artificial intelligence