A pommaret division algorithm for computing Grobner bases in boolean rings.

Vladimir P. Gerdt, Mikhail V. Zinin

Browse the full ISSAC paper archive.