[ACM Press the ACM - Waterloo, ON, Canada (2016.07.20-2016.07.22)] Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '16 - Bounds for Orders of Derivatives in Differential Elimination Algorithms
Gustavson, Richard, Ovchinnikov, Alexey, Pogudin, GlebYear:
2016
Language:
english
DOI:
10.1145/2930889.2930922
File:
PDF, 616 KB
english, 2016