| Title | HIGHER RADIX ON-LINE DIVISION. |
| Publication Type | Journal Article |
| Year of Publication | 1978 |
| Authors | KS Trivedi, and JG Rusnak |
| Start Page | 164 |
| Pagination | 164 - 174 |
| Date Published | 01/1978 |
| Abstract | 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. |