  We establish doubly-exponential degree bounds for Gr\"obner bases in certainalgebras of solvable type over a field (as introduced by Kandri-Rody andWeispfenning). The class of algebras considered here includes commutativepolynomial rings, Weyl algebras, and universal enveloping algebras offinite-dimensional Lie algebras. For the computation of these bounds, we adapta method due to Dub\'e based on a generalization of Stanley decompositions. Ourbounds yield doubly-exponential degree bounds for ideal membership andsyzygies, generalizing the classical results of Hermann and Seidenberg (in thecommutative case) and Grigoriev (in the case of Weyl algebras).
For the computation of these bounds, we adapt a method due to Dub\'e based on a generalization of Stanley decompositions.