Pages that link to "Item:Q6160777"
From MaRDI portal
The following pages link to An algorithm for the formal reduction of differential equations as over-approximations (Q6160777):
Displaying 4 items.
- Efficient syntax-driven lumping of differential equations (Q2272914) (← links)
- Recomputing causality assignments on lumped process models when adding new simplification assumptions (Q2331813) (← links)
- (Q4489538) (← links)
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach (Q6135754) (← links)