Reliable Implementation of Real Number Algorithms: Theory and Practice

Reliable Implementation of Real Number Algorithms: Theory and Practice

International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers

by Peter Hertling

239 pages· 2008· ISBN 9783540855200
Join Readfeed freeFind clubs reading this bookBrowse readable books
About
This book constitutes the revised papers of the International Seminar on Reliable Implementation of Real Number Algorithms, held at Dagstuhl Castle, Germany, in January 2006. The Seminar was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable implementation of real number algorithms. Topics included formal proofs, software libraries, systems and platforms, as well as computational geometry and solid modelling.

Discuss Reliable Implementation of Real Number Algorithms: Theory and Practice with other readers

Join or start a book club for Reliable Implementation of Real Number Algorithms: Theory and Practice on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Sign up freeBrowse book clubs

Frequently asked questions

How do I join a book club for Reliable Implementation of Real Number Algorithms: Theory and Practice?

Sign up free on Readfeed, then browse public clubs or start your own club with Reliable Implementation of Real Number Algorithms: Theory and Practice as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Reliable Implementation of Real Number Algorithms: Theory and Practice with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Reliable Implementation of Real Number Algorithms: Theory and Practice with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.