Automatic pre- and postconditions for partial differential equations (Q5925548)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7538316
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0 references
0 references
0.87399936
0 references
0.8639223
0 references
0.8598288
0 references
0.8594087
0 references
0.8491961
0 references
0.84710133
0 references
