Inspired by Rearick's work on logarithm and exponential functions of arithmetic functions, we introduce two new operators, LOG and EXP. The LOG operates on generalized Fibonacci polynomials giving ...
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, ...
Formal verification of arithmetic circuits is a rigorous approach that employs mathematical techniques to ascertain the correctness of hardware designs implementing arithmetic operations. This ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback