دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Intelligent Computer Mathematics: 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings
دانلود کتاب ریاضیات کامپیوتری هوشمند: دوازدهمین کنفرانس بین المللی، CICM 2019، پراگ، جمهوری چک، 8 تا 12 ژوئیه، 2019، مجموعه مقالات
مشخصات کتاب
Intelligent Computer Mathematics: 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings
ویرایش: [1st ed.] نویسندگان: Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen سری: Lecture Notes in Computer Science 11617 ISBN (شابک) : 9783030232498 ناشر: Springer International Publishing سال نشر: 2019 تعداد صفحات: XII, 307 [317] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 14 Mb
قیمت کتاب (تومان) : 84,000
در صورت تبدیل فایل کتاب Intelligent Computer Mathematics: 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ریاضیات کامپیوتری هوشمند: دوازدهمین کنفرانس بین المللی، CICM 2019، پراگ، جمهوری چک، 8 تا 12 ژوئیه، 2019، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Front Matter ....Pages i-xii
Interaction with Formal Mathematical Documents in Isabelle/PIDE (Makarius Wenzel)....Pages 1-15
Beginners’ Quest to Formalize Mathematics: A Feasibility Study in Isabelle (Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock)....Pages 16-27
Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation (Katja Berčič, Michael Kohlhase, Florian Rabe)....Pages 28-43
A Tale of Two Set Theories (Chad E. Brown, Karol Pąk)....Pages 44-60
Relational Data Across Mathematical Libraries (Andrea Condoluci, Michael Kohlhase, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen, Makarius Wenzel)....Pages 61-76
Variadic Equational Matching (Besik Dundua, Temur Kutsia, Mircea Marin)....Pages 77-92
Comparing Machine Learning Models to Choose the Variable Ordering for Cylindrical Algebraic Decomposition (Matthew England, Dorian Florescu)....Pages 93-108
Towards Specifying Symbolic Computation (Jacques Carette, William M. Farmer)....Pages 109-124
Lemma Discovery for Induction (Moa Johansson)....Pages 125-139
Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations (Zoltán Kovács, Pavel Pech)....Pages 140-154
Formalization of Dubé’s Degree Bounds for Gröbner Bases in Isabelle/HOL (Alexander Maletzky)....Pages 155-170
The Coq Library as a Theory Graph (Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen)....Pages 171-186
BNF-Style Notation as It Is Actually Used (Dee Quinlan, Joe B. Wells, Fairouz Kamareddine)....Pages 187-204
MMTTeX: Connecting Content and Narration-Oriented Document Formats (Florian Rabe)....Pages 205-210
Diagram Combinators in MMT (Florian Rabe, Yasmine Sharoda)....Pages 211-226
Inspection and Selection of Representations (Daniel Raggi, Aaron Stockdill, Mateja Jamnik, Grecia Garcia Garcia, Holly E. A. Sutherland, Peter C.-H. Cheng)....Pages 227-242
A Plugin to Export Coq Libraries to XML (Claudio Sacerdoti Coen)....Pages 243-257
Forms of Plagiarism in Digital Mathematical Libraries (Moritz Schubotz, Olaf Teschke, Vincent Stange, Norman Meuschke, Bela Gipp)....Pages 258-274
Integrating Semantic Mathematical Documents and Dynamic Notebooks (Kai Amann, Michael Kohlhase, Florian Rabe, Tom Wiesing)....Pages 275-290
Explorations into the Use of Word Embedding in Math Search and Math Semantics (Abdou Youssef, Bruce R. Miller)....Pages 291-305
Back Matter ....Pages 307-307
