Differential term-orders
Volker Weispfenning · 1993
In the theory of Grobner bases for multivariate polynomials the concept of a termorder plays a central role.Such term-orders can be characterized by linear forms, whose coefficients are univariate real polynomials.