Abstract:
Verification methods for testing the correctness of realization of arithmetical polynomial and generalized logical forms are designed such that the verification complexity is proportional to the complexity of the initial polynomial. Verification speed is increased through multiple computations.
Fulltext:
PDF file (168 kB)
