Formal lumping of polynomial differential equations through approximate equivalences
| Autor: | Cardelli, Luca, Squillace, Giuseppe, Tribastone, Mirco, Tschaikowski, Max, Vandin, Andrea |
|---|---|
| Zdroj: | In Journal of Logical and Algebraic Methods in Programming August 2023 134 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect