Pages that link to "Item:Q2272914"
From MaRDI portal
The following pages link to Efficient syntax-driven lumping of differential equations (Q2272914):
Displaying 11 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)
- Recomputing causality assignments on lumped process models when adding new simplification assumptions (Q2331813) (← links)
- Verifying chemical reaction network implementations: a bisimulation approach (Q2422008) (← links)
- Comparing chemical reaction networks: a categorical and algorithmic perspective (Q2422009) (← links)
- Efficient Expression Templates for Operator Overloading-Based Automatic Differentiation (Q2913148) (← links)
- Exact linear lumping in abstract spaces (Q3023400) (← links)
- Efficiently and easily integrating differential equations with JiTCODE, JiTCDDE, and JiTCSDE (Q4565981) (← links)
- Symbolic computation of differential equivalences (Q5920213) (← links)
- Formal lumping of polynomial differential equations through approximate equivalences (Q6113017) (← links)
- An algorithm for the formal reduction of differential equations as over-approximations (Q6160777) (← links)