Higher radix on-line division
Kishor Shridharbhai Trivedi, J Rusnák · 1978
We present a formal proof of correctness of the on-line division algorithm specified in an earlier paper [1]. We also derive two radix 4 on-line division algorithms, with non-redundant and redundant operands respectively.