Algorithms for finding and proving balanced Q2 identities
Algorithms for finding and proving balanced Q2 identities
This paper has three major parts: (1) A search algorithm is presented for finding mod 2 identities involving certain sums of products of the the familiar quintuple product in one variable, called balanced Q 2 identities.The method involves row reduction of large matrices whose columns contain the mod series coefficients …