Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
10.1007%2F978-3-319-66320-3_8.pdf (Publisher version), 3MB
England, M., Errami, H., Grigoriev, D., Radulescu, O., Sturm, T., & Weber, A. (2017). Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks. In V. P. Gerdt, W. Koepf, W. M. Seiler, & E. V. Vorozhtsov (Eds.), Computer Algebra in Scientific Computing (pp. 93-108). Berlin: Springer. doi:10.1007/978-3-319-66320-3_8.