A normalization algorithm for truncated p-adic arithmetic | IEEE Conference Publication | IEEE Xplore