Details:
Title  On the computation of elimination ideals of Boolean polynomial rings.  Author(s)  Shutaro Inoue, Akira Nagai, Yosuke Sato  Type  Book, Chapter in Book, Conference Proceeding  Abstract  In order to compute an eliminate portion of a given polynomial ideal by a Gröbner basis computation, we usually need to compute a Gröbner basis of the whole ideal with respect to some proper term order. In a boolean polynomial ring, we show that we can compute an eliminate portion by computing Gröbner bases in the boolean polynomial ring with the same coefficient ring that has the only variables which we want to eliminate. We also check the efficiency of our method through our implementation.  Keywords  Boolean Gröbner Bases  ISBN  9783540878261/pbk 
URL 
http://link.springer.com/chapter/10.1007%2F9783540878278_29 
Language  English  Pages  334348  Publisher  Berlin: Springer  Year  2008  Edition  0  Translation 
No  Refereed 
No 
