The Implementation and Complexity Analysis of the Branch Gröbner Bases Algorithm Over Boolean Polynomial Rings

Yao Sun, DingKang Wang. The Implementation and Complexity Analysis of the Branch Gröbner Bases Algorithm Over Boolean Polynomial Rings. In Ruyong Feng, Wen-shin Lee, Yosuke Sato, editors, Computer Mathematics, 9th Asian Symposium (ASCM 2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM 2012), Beijing, October 2012, Contributed Papers and Invited Talks. pages 157-169, Springer, 2009. [doi]

Abstract

Abstract is missing.