Booleans of Equalities by Groebner Bases
show
Converted by
Mathematica
June 17, 2002