Rahkooy, Hamid Automation of Logic, MPI for Informatics, Max Planck Society;
Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
Rahkooy, H., & Sturm, T. (2021). Parametric Toricity of Steady State Varieties of Reaction Networks. In F. Boulier, M. England, T. M. Sadykov, & E. V. Vorozhtsov (Eds.), Computer Algebra in Scientific Computing (pp. 314-333). Berlin: Springer. doi:10.1007/978-3-030-85165-1_18.