computer algebra, finite fields, Multiplier circuits, polynomial arithmetic, polynomial reasoning, proof certificates, SAT, SMT solving, Triangular Sets.