جعبه ابزار عددی برای محاسبات تأیید شده 1
Numerical toolbox for verified computing 1
نویسنده: R. Hammer, M. Hocks, U. Kulisch, D. Ratz
ناشر: Springer
سال انتشار: 1993
تعداد صفحات: 356
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 5 مگابایت