ERODE
From MaRDI portal
Software:32030
swMATH20210MaRDI QIDQ32030FDOQ32030
Author name not available (Why is that?)
Cited In (10)
- Lumpability for uncertain continuous-time Markov chains
- An extension of ERODE to reduce Boolean networks by backward Boolean equivalence
- Reducing Boolean networks with backward Boolean equivalence
- Exact linear reduction for rational dynamical systems
- A large-scale assessment of exact lumping of quantitative models in the biomodels repository
- Comparing chemical reaction networks: a categorical and algorithmic perspective
- Interpretable exact linear reductions via positivity
- Algebra, Coalgebra, and Minimization in Polynomial Differential Equations
- Verifying chemical reaction network implementations: a bisimulation approach
- Lumping Reductions for Multispread in Multi-Layer Networks
This page was built for software: ERODE
