P
Initializing...
Multidimensional convolution formula over a ring with principal power-of-two roots (synthetic case of (2.1)) · Prove2Me