دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Intelligent computer mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings
دانلود کتاب ریاضیات کامپیوتری هوشمند: کنفرانس بین المللی، CICM 2015، واشنگتن، دی سی، ایالات متحده آمریکا، 13-17 جولای، 2015، مجموعه مقالات
مشخصات کتاب
Intelligent computer mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings
ویرایش: 2015 نویسندگان: Carette. Jacques, Kaliszyk. Cezary, Kerber. Manfred, Rabe. Florian, Sorge. Volker (eds) سری: Lecture notes in computer science. Lecture notes in artificial intelligence ; 9150.; LNCS sublibrary. SL 7, Artificial intelligence ISBN (شابک) : 3319206141, 331920615X ناشر: Springer سال نشر: 2015 تعداد صفحات: 369 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 43,000
کلمات کلیدی مربوط به کتاب ریاضیات کامپیوتری هوشمند: کنفرانس بین المللی، CICM 2015، واشنگتن، دی سی، ایالات متحده آمریکا، 13-17 جولای، 2015، مجموعه مقالات: کاربردهای ریاضی در علوم کامپیوتر، هوش مصنوعی (شامل رباتیک)، دستکاری نمادین و جبری، منطق ریاضی و زبان های رسمی، تهیه اسناد و پردازش متن، ذخیره و بازیابی اطلاعات
در صورت تبدیل فایل کتاب Intelligent computer mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ریاضیات کامپیوتری هوشمند: کنفرانس بین المللی، CICM 2015، واشنگتن، دی سی، ایالات متحده آمریکا، 13-17 جولای، 2015، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ریاضیات کامپیوتری هوشمند: کنفرانس بین المللی، CICM 2015، واشنگتن، دی سی، ایالات متحده آمریکا، 13-17 جولای، 2015، مجموعه مقالات
این کتاب مجموعه مقالات داوری کنفرانس بین المللی ریاضیات کامپیوتری هوشمند، CICM 2015 است که در واشنگتن، دی سی، ایالات متحده آمریکا، در ژوئیه 2015 برگزار شد. و از مجموع 43 ارسال انتخاب شده است. مقالات در بخش های موضوعی و به دنبال مسیرهای کنفرانس سازماندهی شده اند: گفتگوهای دعوت شده؛ حساب دیفرانسیل و انتگرال; کتابخانه های دیجیتال ریاضی; مدیریت دانش ریاضی; پروژه ها و بررسی ها؛ سیستم ها و داده ها
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions. The papers are organized in topical sections following the tracks of the conference: Invited Talks; Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Projects and Surveys; Systems and Data
فهرست مطالب
Front Matter....Pages I-XXI
Front Matter....Pages 1-1
Mining the Archive of Formal Proofs....Pages 3-17
Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based Retrieval....Pages 18-36
Front Matter....Pages 37-37
Towards Formal Fault Tree Analysis Using Theorem Proving....Pages 39-54
Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof....Pages 55-70
A First Class Boolean Sort in First-Order Theorem Proving and TPTP....Pages 71-86
Type Inference for ZFH....Pages 87-101
Generic Literals....Pages 102-117
Ranking/Unranking of Lambda Terms with Compressed de Bruijn Indices....Pages 118-133
Front Matter....Pages 135-135
A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics....Pages 137-152
Front Matter....Pages 153-153
Structure Formation in Large Theories....Pages 155-170
Formal Logic Definitions for Interchange Languages....Pages 171-186
Math Literate Knowledge Management via Induced Material....Pages 187-202
Strategies for Parallel Markup....Pages 203-210
Readable Formalization of Euler’s Partition Theorem in Mizar....Pages 211-226
Automating Change of Representation for Proofs in Discrete Mathematics....Pages 227-242
Performance Evaluation and Optimization of Math-Similarity Search....Pages 243-257
Front Matter....Pages 259-259
Mizar: State-of-the-art and Beyond....Pages 261-279
Growing the Digital Repository of Mathematical Formulae with Generic LaTeX Sources....Pages 280-287
Formalizing Physics: Automation, Presentation and Foundation Issues....Pages 288-295
A Survey on Retrieval of Mathematical Knowledge....Pages 296-315
Front Matter....Pages 259-259
Towards the Formalization of Fractional Calculus in Higher-Order Logic....Pages 316-324
Front Matter....Pages 325-330
TIP: Tons of Inductive Problems....Pages 331-331
Semantic Enrichment of Mathematics via ‘tooltips’....Pages 333-337
Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library....Pages 338-342
Tools for MML Environment Analysis....Pages 343-347
Enabling Symbolic and Numerical Computations in HOL Light ....Pages 348-352
Back Matter....Pages 353-358
....Pages 359-359
