Publication:5458159

zbMath1137.03016MaRDI QIDQ5458159

Andreas Weber

Publication date: 11 April 2008

zbMATH Keywords

survey paper

Mathematics Subject Classification ID

92D30: Epidemiology

68W30: Symbolic computation and algebraic computation

12L12: Model theory of fields

03C10: Quantifier elimination, model completeness, and related topics

Related Items

Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology

Uses Software

• QEPCAD