Automatic pre- and postconditions for partial differential equations (Q5918408)
From MaRDI portal
scientific article; zbMATH DE number 7440829
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automatic pre- and postconditions for partial differential equations |
scientific article; zbMATH DE number 7440829 |
Statements
Automatic pre- and postconditions for partial differential equations (English)
0 references
8 December 2021
0 references
polynomial PDEs
0 references
decomposition into subsystems
0 references
formal power series solutions
0 references
weakest preconditions
0 references
strongest postconditions
0 references
