Symbolic computation of differential equivalences (Q5920213)
From MaRDI portal
scientific article; zbMATH DE number 7067585
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Symbolic computation of differential equivalences |
scientific article; zbMATH DE number 7067585 |
Statements
Symbolic computation of differential equivalences (English)
0 references
18 June 2019
0 references
quantitative equivalence relations
0 references
satisfiability modulo theory
0 references
ordinary differential equations
0 references
partition refinement
0 references
0 references
