Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal


TitleOn the computation of elimination ideals of Boolean polynomial rings.
Author(s) Shutaro Inoue, Akira Nagai, Yosuke Sato
TypeBook, Chapter in Book, Conference Proceeding
AbstractIn 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.
KeywordsBoolean Gröbner Bases
URL http://link.springer.com/chapter/10.1007%2F978-3-540-87827-8_29
PublisherBerlin: Springer
Translation No
Refereed No