Title: Polynomial Formal Verification of Arithmetic Circuits
Subjects: Mathematics