Pages that link to "Item:Q2272914"
From MaRDI portal
The following pages link to Efficient syntax-driven lumping of differential equations (Q2272914):
Displayed 6 items.
- 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)
- Verifying chemical reaction network implementations: a bisimulation approach (Q2422008) (← links)
- Comparing chemical reaction networks: a categorical and algorithmic perspective (Q2422009) (← links)
- Symbolic computation of differential equivalences (Q5920213) (← links)
- Formal lumping of polynomial differential equations through approximate equivalences (Q6113017) (← links)