Return to Answer

replaced LaTeX markup with Markdown; added link to arXiv paper; Grobner -> Gröbner

Source Link

edit approved Feb 28, 2023 at 16:04

1.4k
3
11
22

You should be interested in the discussion in

EvansEvans, Gareth A.; Wensley, Christopher D., G.~A. and WensleyComplete involutive rewriting systems, C.~D. {Complete involutive rewriting systems}J. {J Symb. Symbolic Comput.} \textbf{42}~(11 42, No. 11-12), 1034-1051 (2007) 1034--1051. ZBL1128.68044.

on the notion of noncommutative involutive systems, which in the commutative case are a well known modification of the GrobnerGröbner basis theory. Evans' thesis is available at math.RA/0602140math.RA/0602140.

I can't help on the proposed applications.

Ronnie Brown

Source Link

created Aug 21, 2011 at 16:53

Ronnie Brown

12.3k
1
63
81

You should be interested in the discussion in

Evans, G.~A. and Wensley, C.~D. {Complete involutive rewriting systems}. {J. Symbolic Comput.} \textbf{42}~(11-12) (2007) 1034--1051.

on the notion of noncommutative involutive systems, which in the commutative case are a well known modification of the Grobner basis theory. Evans' thesis is available at math.RA/0602140.

I can't help on the proposed applications.

Ronnie Brown