Pages that link to "Item:Q6104803"
From MaRDI portal
The following pages link to Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis (Q6104803):
Displayed 6 items.
- A large-scale assessment of exact lumping of quantitative models in the biomodels repository (Q2238205) (← links)
- Logical characterization of fluid equivalences (Q2323132) (← 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)
- Approximate constrained lumping of polynomial differential equations (Q6199820) (← links)