Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE’S (Q5127191)
From MaRDI portal
scientific article; zbMATH DE number 7263793
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE’S |
scientific article; zbMATH DE number 7263793 |
Statements
Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE’S (English)
0 references
21 October 2020
0 references
ordinary differential equations
0 references
postconditions
0 references
preconditions
0 references
invariants
0 references
Gröbner bases
0 references
