Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
Desoeuvres, A., Iosif, A., Luders, C., Radulescu, O., Rahkooy, H., Seiss, M., & Sturm, T. (2024). Reduction of Chemical Reaction Networks with Approximate Conservation Laws. SIAM journal on Applied Dynamical Systems, 23(1), 256-296. doi:10.1137/22M1543963.
