|
Volumn , Issue , 1999, Pages 96-105
|
Correctness proofs outline for Newton-Raphson based floating-point divide and square root algorithms
a
|
Author keywords
[No Author keywords available]
|
Indexed keywords
ALGORITHMS;
COMPUTER HARDWARE;
COMPUTER SOFTWARE;
ERROR CORRECTION;
ITERATIVE METHODS;
REGULATORY COMPLIANCE;
STANDARDS;
SOFTWARE ASSISTANCE;
SQUARE ROOT ALGORITHMS;
DIGITAL ARITHMETIC;
|
EID: 0032683290
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Article |
Times cited : (42)
|
References (5)
|