دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban (eds.) سری: Lecture Notes in Computer Science 8543 Lecture Notes in Artificial Intelligence ISBN (شابک) : 9783319084336, 9783319084343 ناشر: Springer International Publishing سال نشر: 2014 تعداد صفحات: 477 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 13 مگابایت
کلمات کلیدی مربوط به کتاب ریاضیات هوشمند رایانه ای: کنفرانس بین المللی ، CICM 2014 ، کویمبرا ، پرتغال ، 7-11 ژوئیه 2014. مجموعه مقالات: دستکاری نمادین و جبری، هوش مصنوعی (شامل رباتیک)، کاربردهای ریاضی در علوم کامپیوتر، منطق ریاضی و زبان های رسمی، تهیه اسناد و پردازش متن، ذخیره و بازیابی اطلاعات
در صورت تبدیل فایل کتاب Intelligent Computer Mathematics: International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ریاضیات هوشمند رایانه ای: کنفرانس بین المللی ، CICM 2014 ، کویمبرا ، پرتغال ، 7-11 ژوئیه 2014. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری مشترک Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014 و Systems and Projects, S&P 2014 است که در کویمبرا پرتغال در 4 ژوئیه 7-14, 2014 برگزار شد. آهنگ های CICM 2014، کنفرانس های ریاضیات کامپیوتری هوشمند. 26 مقاله کامل و 9 شرح سیستم و پروژه ارائه شده همراه با 5 سخنرانی دعوت شده به دقت بررسی و از مجموع 55 مورد ارسالی انتخاب شدند. آهنگ Calculemus CICM ادغام محاسبات نمادین و استدلال مکانیزه را بررسی می کند. مسیر کتابخانههای ریاضی دیجیتال - که از مجموعه کارگاههای آموزشی DML تکامل یافته است - دارای فناوریها، استانداردها، الگوریتمها و فرآیندهای آگاه از ریاضیات در جهت تحقق رویای یک DML جهانی است. مسیر مدیریت دانش ریاضی CICM به تمام جنبه های مدیریت دانش ریاضی در تنظیمات غیررسمی، نیمه رسمی و رسمی مربوط می شود. مسیر سیستمها و پروژهها توضیحات کوتاهی از سیستمهای موجود یا پروژههای در حال انجام در حوزههای سایر مسیرهای کنفرانس ارائه میکند.
This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on Intelligent Computer Mathematics. The 26 full papers and 9 Systems and Projects descriptions presented together with 5 invited talks were carefully reviewed and selected from a total of 55 submissions. The Calculemus track of CICM examines the integration of symbolic computation and mechanized reasoning. The Digital Mathematics Libraries track - evolved from the DML workshop series - features math-aware technologies, standards, algorithms and processes towards the fulfillment of the dream of a global DML. The Mathematical Knowledge Management track of CICM is concerned with all aspects of managing mathematical knowledge in the informal, semi-formal and formal settings. The Systems and Projects track presents short descriptions of existing systems or on-going projects in the areas of all the other tracks of the conference.
Front Matter....Pages -
What International Studies Say about the Importance and Limitations of Using Computers to Teach Mathematics in Secondary Schools....Pages 1-11
Towards Robust Hyperlinks for Web-Based Scholarly Communication....Pages 12-25
Computable Data, Mathematics, and Digital Libraries in Mathematica and Wolfram|Alpha....Pages 26-29
Towards the Formal Reliability Analysis of Oil and Gas Pipelines....Pages 30-44
Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition....Pages 45-60
A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata....Pages 61-75
Detecting Unknots via Equational Reasoning, I: Exploration....Pages 76-91
Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition....Pages 92-107
Hipster: Integrating Theory Exploration in a Proof Assistant....Pages 108-122
Formalization of Complex Vectors in Higher-Order Logic....Pages 123-137
A Mathematical Structure for Modeling Inventions....Pages 138-152
Search Interfaces for Mathematicians....Pages 153-168
A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics....Pages 169-183
PDF/A-3u as an Archival Format for Accessible Mathematics....Pages 184-199
Which One Is Better: Presentation-Based or Content-Based Math Search?....Pages 200-212
POS Tagging and Its Applications for Mathematics....Pages 213-223
Mathoid: Robust, Scalable, Fast and Accessible Math Rendering for Wikipedia....Pages 224-235
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?....Pages 236-251
Realms: A Structure for Consolidating Knowledge about Mathematical Theories....Pages 252-266
Matching Concepts across HOL Libraries....Pages 267-281
Mining State-Based Models from Proof Corpora....Pages 282-297
Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices....Pages 298-311
Flexary Operators for Formalized Mathematics....Pages 312-327
Interactive Simplifier Tracing and Debugging in Isabelle....Pages 328-343
Towards an Interaction-based Integration of MKM Services into End-User Applications....Pages 344-356
Towards Knowledge Management for HOL Light....Pages 357-372
Automated Improving of Proof Legibility in the Mizar System....Pages 373-387
A Vernacular for Coherent Logic....Pages 388-403
An Approach to Math-Similarity Search....Pages 404-418
Digital Repository of Mathematical Formulae....Pages 419-422
NNexus Reloaded....Pages 423-426
E-books and Graphics with ....Pages 427-430
System Description: MathHub.info ....Pages 431-434
Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description....Pages 435-439
System Description: A Semantics-Aware to-Office Converter....Pages 440-443
Math Indexer and Searcher Web Interface....Pages 444-448
SAT-Enhanced Mizar Proof Checking....Pages 449-452
A Framework for Formal Reasoning about Geometrical Optics....Pages 453-456
Back Matter....Pages -