دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa (eds.) سری: Lecture Notes in Computer Science 9791 ISBN (شابک) : 9783319425467, 9783319425474 ناشر: Springer International Publishing سال نشر: 2016 تعداد صفحات: XIV, 163 [169] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 Mb
در صورت تبدیل فایل کتاب Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ریاضیات کامپیوتر هوشمند: نهمین کنفرانس بین المللی، CICM 2016، بیالیستوک، لهستان، 25-29 ژوئیه، 2016، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری نهمین کنفرانس بین المللی ریاضیات
کامپیوتری هوشمند، CICM 2016، که در بیالیستوک، لهستان، در
ژوئیه 2016 برگزار شد، تشکیل می شود.
10 مقاله کامل و 2 مقاله کوتاه ارائه شده با دقت بررسی و از بین
یک مقاله انتخاب شدند. در مجموع 41 ارسال مقالات در بخش های
موضوعی بر اساس پنج آهنگ کنفرانس سازماندهی شده اند:
Calculemus; کتابخانه های دیجیتال ریاضی; مدیریت دانش ریاضی;
بررسی ها و پروژه ها؛ و سیستم ها و داده ها.
This book constitutes the refereed proceedings of the 9th
International Conference on Intelligent Computer Mathematics,
CICM 2016, held in Bialystok, Poland, in July 2016.
The 10 full papers and 2 short papers presented were
carefully reviewed and selectedfrom a total of 41
submissions. The papers are organized in topical sections
according to the five tracks of the conference: Calculemus;
Digital Mathematics Libraries; Mathematical Knowledge
Management; Surveys and Projects; and Systems and Data.
Front Matter....Pages I-XIV
Front Matter....Pages 1-1
Mathematical Theory Exploration in Theorema: Reduction Rings....Pages 3-17
Formalization of Bing’s Shrinking Method in Geometric Topology....Pages 18-27
\(\mathsf {SC}^\mathsf{2} \) : Satisfiability Checking Meets Symbolic Computation....Pages 28-43
Formalization of Normal Random Variables in HOL....Pages 44-59
Front Matter....Pages 61-61
Progress of Self-Archiving Within the DML Corpus, with a View Toward Community Dynamics....Pages 63-74
Front Matter....Pages 75-75
Accessing the Mizar Library with a Weakly Strict Mizar Parser....Pages 77-82
Incorporating Quotation and Evaluation into Church’s Type Theory: Syntax and Semantics....Pages 83-98
Extracting Higher-Order Goals from the Mizar Mathematical Library....Pages 99-114
Front Matter....Pages 115-115
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach....Pages 117-131
Formal Dependability Modeling and Analysis: A Survey....Pages 132-147
Front Matter....Pages 149-149
Extending E Prover with Similarity Based Clause Selection Strategies....Pages 151-156
Enhancement of Mizar Texts with Transitivity Property of Predicates....Pages 157-162
Back Matter....Pages 163-163