scientific article; zbMATH DE number 3735125

MaRDI QIDQ3922157zbMATH OpenFDO

Authors William J. Cody, W. M. Waite

Publication date 1980

Mathematics Subject Classification ID

Elementary functions (26A09) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68N99)

Cited in

(13)

• Evaluation of functions on microcomputers: ln (X)
• Stupid is as stupid does: taking the square root of the square of a floating-point number
• Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation)
• scientific article; zbMATH DE number 4018244 (Why is no real title available?)
• Real Number Calculations and Theorem Proving
• Differentiation in PASCAL-SC: type GRADIENT
• Une méthodologie du calcul hardware des fonctions élémentaires
• Badness of small denominators in rational function evaluation
• Fitting approximations to the kuki-cody-waite form
• Floating-point arithmetic
• End-to-end formal verification of a fast and accurate floating-point approximation
• An integer based square root algorithm
• Computing some elementary functions of a complex variable

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3922157)