A computer algebra approach to biological systems.
Reinhard C. LaubenbacherPublished in: ISSAC (2003)
Keyphrases
- biological systems
- computer algebra
- biologically inspired
- theorem prover
- complex systems
- artificial systems
- systems biology
- biological networks
- engineering problems
- complex biological systems
- signal transduction
- living systems
- computational models
- computer algebra systems
- biological processes
- machine learning
- neural dynamics
- metabolic pathways
- neural mechanisms
- protein interaction
- multi modal
- living organisms
- artificial intelligence
- biologically inspired design
- automated theorem provers