دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings
دانلود کتاب ریاضیات رایانه ای هوشمند: دهمین کنفرانس بین المللی ، AISC 2010 ، هفدهمین سمپوزیوم ، Calculemus 2010 و نهمین کنفرانس بین المللی ، MKM 2010 ، پاریس ، فرانسه ، 5-10 ژوئیه 2010. مجموعه مقالات
مشخصات کتاب
Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings
ویرایش: 1 نویسندگان: James H. Davenport (auth.), Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton (eds.) سری: Lecture Notes in Computer Science 6167 ISBN (شابک) : 9783642141270, 9783642141287 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 484 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 11 مگابایت
قیمت کتاب (تومان) : 54,000
کلمات کلیدی مربوط به کتاب ریاضیات رایانه ای هوشمند: دهمین کنفرانس بین المللی ، AISC 2010 ، هفدهمین سمپوزیوم ، Calculemus 2010 و نهمین کنفرانس بین المللی ، MKM 2010 ، پاریس ، فرانسه ، 5-10 ژوئیه 2010. مجموعه مقالات: هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ریاضیات رایانه ای هوشمند: دهمین کنفرانس بین المللی ، AISC 2010 ، هفدهمین سمپوزیوم ، Calculemus 2010 و نهمین کنفرانس بین المللی ، MKM 2010 ، پاریس ، فرانسه ، 5-10 ژوئیه 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ریاضیات رایانه ای هوشمند: دهمین کنفرانس بین المللی ، AISC 2010 ، هفدهمین سمپوزیوم ، Calculemus 2010 و نهمین کنفرانس بین المللی ، MKM 2010 ، پاریس ، فرانسه ، 5-10 ژوئیه 2010. مجموعه مقالات
این کتاب مجموعه مقالات داوری مشترک دهمین کنفرانس بین المللی هوش مصنوعی و محاسبات نمادین، AISC 2010، هفدهمین سمپوزیوم ادغام محاسبات نمادین و استدلال مکانیزه، Calculemus 2010، و نهمین کنفرانس بین المللی دانش 2010 در زمینه مدیریت ریاضی، M10K است. همه موارد ارسالی از طریق یک فرآیند بررسی دقیق عبور کردند. از 25 مقاله ارسال شده به AISC 2010، 9 مقاله برای ارائه در کنفرانس و گنجاندن در جلد مقالات انتخاب شدند. در مجموع 14 مقاله برای Calculemus ارسال شد که از این تعداد 7 مقاله پذیرفته شد. MKM 2010 27 ارسال دریافت کرد که 16 مورد برای ارائه و انتشار پذیرفته شد. این رویدادها بر استفاده از تکنیک‌های هوش مصنوعی در محاسبات نمادین و استفاده از محاسبات نمادین برای حل مشکلات هوش مصنوعی متمرکز بودند. ترکیبی از سیستم های جبر کامپیوتری و سیستم های کسر خودکار؛ و به ترتیب مدیریت دانش ریاضی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the joint refereed proceedings of the 10th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2010, the 17th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2010, and the 9th International Conference on Mathematical Knowledge Management, MKM 2010. All submissions passed through a rigorous review process. From the 25 papers submitted to AISC 2010, 9 were selected for presentation at the conference and inclusion in the proceedings volume. A total of 14 papers were submitted to Calculemus, of which 7 were accepted. MKM 2010 received 27 submissions, of which 16 were accepted for presentation and publication. The events focused on the use of AI techniques within symbolic computation and the application of symbolic computation to AI problem solving; the combination of computer algebra systems and automated deduction systems; and mathematical knowledge management, respectively.
فهرست مطالب
Front Matter....Pages -
The Challenges of Multivalued “Functions”....Pages 1-12
The Dynamic Dictionary of Mathematical Functions....Pages 13-13
A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence....Pages 14-18
I -Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness....Pages 19-33
Structured Formal Development with Quotient Types in Isabelle/HOL....Pages 34-48
Instantiation of SMT Problems Modulo Integers....Pages 49-63
On Krawtchouk Transforms....Pages 64-75
A Mathematical Model of the Competition between Acquired Immunity and Virus....Pages 76-88
Some Notes upon “When Does $<{\\mathbb T}>$ Equal Sat $({\\mathbb T})$ ?”....Pages 89-100
How to Correctly Prune Tropical Trees....Pages 101-115
From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals....Pages 116-131
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar....Pages 132-146
Some Considerations on the Usability of Interactive Provers....Pages 147-156
Mechanized Mathematics....Pages 157-157
Formal Proof of SCHUR Conjugate Function....Pages 158-171
Symbolic Domain Decomposition....Pages 172-188
A Formal Quantifier Elimination for Algebraically Closed Fields....Pages 189-203
Computing in Coq with Infinite Algebraic Data Structures....Pages 204-218
Formally Verified Conditions for Regularity of Interval Matrices....Pages 219-233
Reducing Expression Size Using Rule-Based Integration....Pages 234-246
A Unified Formal Description of Arithmetic and Set Theoretical Data Types....Pages 247-261
Against Rigor....Pages 262-262
Smart Matching....Pages 263-277
Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System....Pages 278-292
An OpenMath Content Dictionary for Tensor Concepts....Pages 293-299
On Duplication in Mathematical Repositories....Pages 300-314
Adapting Mathematical Domain Reasoners....Pages 315-330
Integrating Multiple Sources to Answer Questions in Algebraic Topology....Pages 331-335
An Integrated Development Environment for Collections....Pages 336-344
Proofs, Proofs, Proofs, and Proofs....Pages 345-354
Dimensions of Formality: A Case Study for MKM in Software Engineering....Pages 355-369
Towards MKM in the Large: Modular Representation and Scalable Software Architecture....Pages 370-384
The Formulator MathML Editor Project: User-Friendly Authoring of Content Markup Documents....Pages 385-397
Notations Around the World: Census and Exploitation....Pages 398-410
Evidence Algorithm and System for Automated Deduction: A Retrospective View....Pages 411-426
On Building a Knowledge Base for Stability Theory....Pages 427-439
Proviola: A Tool for Proof Re-animation....Pages 440-454
A Wiki for Mizar : Motivation, Considerations, and Initial Prototype....Pages 455-469
Back Matter....Pages -
