#### Filter Results:

- Full text PDF available (7)

#### Publication Year

2007

2014

- This year (0)
- Last 5 years (1)
- Last 10 years (7)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Huishi Li
- 2009

By employing the (de)homogenization technique in a relatively extensive setting, this note studies in detail the relation between nonhomogeneous Gröbner bases and homogeneous Gröbner bases. As a consequence, a general principle of computing Gröbner bases (for an ideal and its homogenization ideal) by passing to homogenized generators is clarified… (More)

- Huishi Li
- 2009

Let R be an arbitrary commutative ring and R〈X〉 = R〈X1, ..., Xn〉 the free algebra of n generators over R. Note that Bergman’s diamond lemma characterizes the resolvability of ambiguities of monic relations of the form Wσ − fσ with fσ a linear combination of monomials ≺ Wσ, where ≺ is a semigroup partial ordering on 〈X〉; and that in the algorithmic language… (More)

- Huishi Li
- J. Symb. Comput.
- 2010

In this paper, we introduce (almost) skew 2-nomial algebras, establish the existence of a skew multiplicative K-basis for a skew 2-nomial algebra, and explore the existence of a Gröbner basis theory for such algebras. As a by-product, a family of Noetherian algebras is recognized by the finite Gröbner basis theory. Let K be a field, and let R be a finitely… (More)

- Huishi Li
- 2008

In this paper, we introduce (almost) skew 2-nomial algebras, establish the existence of a skew multiplicative K-basis for a skew 2-nomial algebra, and explore the existence of a Gröbner basis theory for such algebras. Let K be a field, and let R be a finitely generated free K-algebra, or a path algebra defined by a finite directed graph over K. Then it is… (More)

- Huishi Li
- The Computer Science Journal of Moldova
- 2014

In terms of their defining relations, solvable polynomial algebras introduced by Kandri-Rody and Weispfenning [J. Symbolic Comput., 9(1990)] are characterized by employing Gröbner bases of ideals in free algebras, thereby solvable polynomial algebras are completely determinable and constructible in a computational way.

- Cang Su, Huishi Li
- 2009

Let K be a field and R = ⊕p∈NRp an N-graded K-algebra, which has an SM K-basis (i.e. a skew multiplicative K-basis) such that R holds a Gröbner basis theory. It is proved that there is a one-to-one correspondence between the set of Gröbner bases in R and the set of dh-closed homogeneous Gröbner bases in the polynomial algebra R[t]; and that the similar… (More)

- Huishi Li
- 2007

Let K be an infinite field and K〈X〉 = K〈X1, ..., Xn〉 the free associative algebra generated by X = {X1, ..., Xn} over K. It is proved that if I is a two-sided ideal of K〈X〉 such that the K-algebra A = K〈X〉/I is almost commutative in the sense of [3], namely, with respect to its standard N-filtration FA, the associated N-graded algebra G(A) is commutative,… (More)

- ‹
- 1
- ›