Automatic pre- and postconditions for partial differential equations (Q5918408)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Automatic pre- and postconditions for partial differential equations |
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
