Pages that link to "Item:Q5127191"
From MaRDI portal
The following pages link to Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE’S (Q5127191):
Displaying 4 items.
- A linear-algebraic method to compute polynomial PDE conservation laws (Q2048156) (← links)
- Algebra, Coalgebra, and Minimization in Polynomial Differential Equations (Q2988361) (← links)
- On the Coalgebra of Partial Differential Equations (Q5092383) (← links)
- Automatic pre- and postconditions for partial differential equations (Q5925548) (← links)
