Rahkooy, Hamid Automation of Logic, MPI for Informatics, Max Planck Society;
Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
arXiv:2107.01706.pdf (Preprint), 255KB
Rahkooy, H., & Sturm, T. (2021). Testing Binomiality of Chemical Reaction Networks Using Comprehensive Gröbner Systems. Retrieved from https://arxiv.org/abs/2107.01706.