Symbolic computation of differential equivalences (Q5890964)
From MaRDI portal
scientific article; zbMATH DE number 6642948
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Symbolic computation of differential equivalences |
scientific article; zbMATH DE number 6642948 |
Statements
Symbolic computation of differential equivalences (English)
0 references
24 October 2016
0 references
ordinary differential equations
0 references
partition refinement
0 references
quantitative equivalence relations
0 references
satisfiability modulo theory
0 references
