menu 简单麦麦

智能计算机数学:第12届国际会议,CICM2019,捷克共和国布拉格,2019年7月8-12日,会议记录-Intelligent Computer Mathematics: 12th Internat

上传于 2020-03-06 25次下载 1949次围观
标题(title):Intelligent Computer Mathematics: 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings
作者(author):Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen
出版社(publisher):Springer International Publishing
大小(size):14 MB (14828365 bytes)

This book constitutes the refereed proceedings of the 12th International Conference on Intelligent Computer Mathematics, CICM 2019, held in Prague, Czech Republic, in July 2019. The 19 full papers presented were carefully reviewed and selected from a total of 41 submissions. The papers focus on digital and computational solutions which are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value.

Table of contents :
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
智能计算机数学:第12届国际会议,CICM2019,捷克共和国布拉格,2019年7月8-12日,会议记录-Intelligent Computer Mathematics: 12th Internat
支付金额: 共计:¥0.0