Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
arXiv:2201.08980.pdf (Preprint), 374KB
Lüders, C., Sturm, T., & Radulescu, O. (2022). ODEbase: A Repository of ODE Systems for Systems Biology. Retrieved from https://arxiv.org/abs/2201.08980.