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