Q-adic Transform revisited
Quantifier Elimination over Finite Fields Using Gröbner Bases
Canada
World
United States