Bounds for Orders of Derivatives in Differential Elimination Algorithms

Richard Gustavson, Alexey Ovchinnikov, Gleb Pogudin. Bounds for Orders of Derivatives in Differential Elimination Algorithms. In Sergei A. Abramov, Eugene V. Zima, Xiao-Shan Gao, editors, Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016. pages 239-246, ACM, 2016. [doi]

Authors

Richard Gustavson

This author has not been identified. Look up 'Richard Gustavson' in Google

Alexey Ovchinnikov

This author has not been identified. Look up 'Alexey Ovchinnikov' in Google

Gleb Pogudin

This author has not been identified. Look up 'Gleb Pogudin' in Google