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