A generic root operation for exact real arithmetic

DOI10.1007/3-540-45335-0_6MaRDI QIDQ4531982zbMATH OpenFDO

Authors Namhyun Hur, James H. Davenport

Publication date 27 May 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2064/20640082

Mathematics Subject Classification ID

Roundoff error (65G50)

Cited in

(1)

• Formal Verification of Exact Computations Using Newton’s Method

This page was built for publication: A generic root operation for exact real arithmetic

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