2 citations · 2 across the 1 of their papers we have counts for
1 paper
Alexander Chistov, Dima Grigoriev
We prove a double-exponential upper bound on the degree and on the complexity of constructing a Janet basis of a D-module. This generalizes a well known bound on the complexity o…