دانلود کتاب Reliable Implementation of Real Number Algorithms: Theory and Practice: International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers

Name: Reliable Implementation of Real Number Algorithms: Theory and Practice: International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers
Availability: InStock
Author: Ekaterina Auer
ISBN: 3540855203, 9783540855200

by Ekaterina Auer, Andreas Rauh (auth.), Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol (eds.)

عنوان فارسی: پیاده سازی درست از تعداد واقعی الگوریتم : نظریه و عمل : سمینار بین المللی Dagstuhl قلعه ، آلمان، 08-13 ژانویه ، 2006 مقالات تجدید نظر
ناشر: Springer-Verlag Berlin Heidelberg
سال: 2008
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 239-247
شابک: 3540855203, 9783540855200
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 5.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

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.