Automatic pre- and postconditions for partial differential equations (Q5925548)
From MaRDI portal
scientific article; zbMATH DE number 7538316
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automatic pre- and postconditions for partial differential equations |
scientific article; zbMATH DE number 7538316 |
Statements
Automatic pre- and postconditions for partial differential equations (English)
0 references
8 June 2022
0 references
initial value problems
0 references
coalgebra
0 references
polynomials formal power series
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
