Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
Errami, H., Eiswirth, M., Grigoriev, D., Seiler, W. M., Sturm, T., & Weber, A. (2013). Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates. In V. P. Gerdt, W. Koepf, E. W. Mayr, & E. V. Vorozhtsov (Eds.), Computer Algebra in Scientific Computing (pp. 88-99). Berlin: Springer. doi:10.1007/978-3-319-02297-0_7.