In an isomorphic copy of the ring of symmetric polynomials we study some families of polynomials which are indexed by rational weight vectors. These families include well known symmetric polynomials, ...

An algorithm for realizing finite field arithmetic is presented. The relationship between linear recursions and polynomial arithmetic (modulo a fixed polynomial) over ...

Formal verification of arithmetic circuits is a rigorous approach that employs mathematical techniques to ascertain the correctness of hardware designs implementing arithmetic operations. This ...