Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
Rahkooy, H., Radulescu, O., & Sturm, T. (2020). A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks. In F. Boulier, M. England, T. M. Sadykov, & E. V. Vorozhtsov (Eds.), Computer Algebra in Scientific Computing (pp. 492-509). Berlin: Springer. doi:10.1007/978-3-030-60026-6_29.