Details:
Title  Gröbner–Shirshov bases for semirings  Author(s)  Leonid A. Bokut, YuFu Chen, Qiuhui Mo  Type  Article in Journal  Abstract  Abstract In the paper we derive a Gröbner–Shirshov algorithm for semirings and commutative semirings. As applications, we obtain Gröbner–Shirshov bases and A. Blassʼs (1995) and M. Fiore and T. Leinsterʼs (2004) normal forms of the semirings N [ x ] / ( x = 1 + x + x 2 ) and N [ x ] / ( x = 1 + x 2 ) , correspondingly.  Keywords  Gröbner–Shirshov basis, Semiring, Congruence, Normal form  ISSN  00218693 
URL 
http://www.sciencedirect.com/science/article/pii/S0021869313001592 
Language  English  Journal  Journal of Algebra  Volume  385  Pages  47  63  Year  2013  Edition  0  Translation 
No  Refereed 
No 
