The following pages link to ERODE (Q32030):
Displaying 10 items.
- Lumpability for uncertain continuous-time Markov chains (Q832091) (← links)
- Exact linear reduction for rational dynamical systems (Q2112154) (← links)
- An extension of ERODE to reduce Boolean networks by backward Boolean equivalence (Q2112170) (← links)
- Reducing Boolean networks with backward Boolean equivalence (Q2142096) (← links)
- Interpretable exact linear reductions via positivity (Q2142106) (← links)
- A large-scale assessment of exact lumping of quantitative models in the biomodels repository (Q2238205) (← links)
- Verifying chemical reaction network implementations: a bisimulation approach (Q2422008) (← links)
- Comparing chemical reaction networks: a categorical and algorithmic perspective (Q2422009) (← links)
- Algebra, Coalgebra, and Minimization in Polynomial Differential Equations (Q2988361) (← links)
- Lumping Reductions for Multispread in Multi-Layer Networks (Q5050323) (← links)