Pages that link to "Item:Q5920213"
From MaRDI portal
The following pages link to Symbolic computation of differential equivalences (Q5920213):
Displayed 9 items.
- ERODE (Q32030) (← links)
- Exact linear reduction for rational dynamical systems (Q2112154) (← links)
- Proportional lumpability and proportional bisimilarity (Q2139185) (← links)
- Reducing Boolean networks with backward Boolean equivalence (Q2142096) (← links)
- A large-scale assessment of exact lumping of quantitative models in the biomodels repository (Q2238205) (← links)
- Automatic pre- and postconditions for partial differential equations (Q5925548) (← links)
- Formal lumping of polynomial differential equations through approximate equivalences (Q6113017) (← links)
- Exact hierarchical reductions of dynamical models via linear transformations (Q6121818) (← links)
- Approximate constrained lumping of polynomial differential equations (Q6199820) (← links)