|Title||HIGHER RADIX ON-LINE DIVISION.|
|Publication Type||Journal Article|
|Year of Publication||2017|
|Authors||KS Trivedi, and JG Rusnak|
|Pagination||164 - 174|
A formal proof of correctness of the on-line division algorithm specified in an earlier paper is presented. Two radix 4 on-line division algorithms, with non-redundant and redundant operands respectively, are also derived.