ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Mathematical Software – ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

دانلود کتاب نرم افزار ریاضی – ICMS 2016: پنجمین کنفرانس بین المللی، برلین، آلمان، 11-14 جولای 2016، مجموعه مقالات

Mathematical Software – ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

مشخصات کتاب

Mathematical Software – ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

ویرایش: [1 ed.] 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 9725 
ISBN (شابک) : 9783319424316, 9783319424323 
ناشر: Springer International Publishing 
سال نشر: 2016 
تعداد صفحات: XXIV, 532
[533] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 41 Mb

قیمت کتاب (تومان) : 31,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 6


در صورت تبدیل فایل کتاب Mathematical Software – ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نرم افزار ریاضی – ICMS 2016: پنجمین کنفرانس بین المللی، برلین، آلمان، 11-14 جولای 2016، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب نرم افزار ریاضی – ICMS 2016: پنجمین کنفرانس بین المللی، برلین، آلمان، 11-14 جولای 2016، مجموعه مقالات



این کتاب مجموعه مقالات پنجمین کنفرانس بین‌المللی نرم‌افزار ریاضی، ICMS 2015، برگزار شده در برلین، آلمان، در ژوئیه 2016 است.

68 مقاله موجود در این جلد به دقت بررسی و انتخاب شدند. ارسالی های متعدد مقالات در بخش های موضوعی به نام های: مبانی یک ظرفیتی و دستیاران اثبات سازماندهی شده اند. نرم افزار برای استدلال ریاضی و برنامه های کاربردی؛ هندسه جبری و توریک؛ هندسه جبری در کاربردها; نرم افزار سیستم های چند جمله ای; نرم افزار حل عددی سیستم های چند جمله ای محاسبات با دقت بالا، تجزیه و تحلیل موثر و توابع ویژه؛ بهینه سازی ریاضی؛ عملیات تعاملی برای آثار هنری علمی و استدلال ریاضی؛ خدمات اطلاعاتی برای ریاضیات: نرم افزار، خدمات، مدل ها و داده ها. semDML: به سمت لایه معنایی یک کتابخانه ریاضی دیجیتال جهانی. متفرقه.

توضیحاتی درمورد کتاب به خارجی

This book constitutes the proceedings of the 5th International Conference on Mathematical Software, ICMS 2015, held in Berlin, Germany, in July 2016.

The 68 papers included in this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections named: univalent foundations and proof assistants; software for mathematical reasoning and applications; algebraic and toric geometry; algebraic geometry in applications; software of polynomial systems; software for numerically solving polynomial systems; high-precision arithmetic, effective analysis, and special functions; mathematical optimization; interactive operation to scientific artwork and mathematical reasoning; information services for mathematics: software, services, models, and data; semDML: towards a semantic layer of a world digital mathematical library; miscellanea.




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی