1 paper · 1 filter
Matthias Aschenbrenner, Anton Leykin
We establish doubly-exponential degree bounds for Gröbner bases in certain algebras of solvable type over a field (as introduced by Kandri-Rody and Weispfenning). The class of alge…