Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings PDF
Preview Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Herman Geuvers · Matthew England Osman Hasan · Florian Rabe Olaf Teschke (Eds.) 3 8 3 Intelligent 0 1 I A Computer Mathematics N L 10th International Conference, CICM 2017 Edinburgh, UK, July 17–21, 2017 Proceedings 123 fi Lecture Notes in Arti cial Intelligence 10383 Subseries of Lecture Notes in Computer Science LNAI Series Editors Randy Goebel University of Alberta, Edmonton, Canada Yuzuru Tanaka Hokkaido University, Sapporo, Japan Wolfgang Wahlster DFKI and Saarland University, Saarbrücken, Germany LNAI Founding Series Editor Joerg Siekmann DFKI and Saarland University, Saarbrücken, Germany More information about this series at http://www.springer.com/series/1244 Herman Geuvers Matthew England (cid:129) Osman Hasan Florian Rabe (cid:129) Olaf Teschke (Eds.) Intelligent Computer Mathematics 10th International Conference, CICM 2017 – Edinburgh, UK, July 17 21, 2017 Proceedings 123 Editors Herman Geuvers Florian Rabe Radboud University JacobsUniversity Bremen Nijmegen Bremen TheNetherlands Germany MatthewEngland OlafTeschke CoventryUniversity FIZ Karlsruhe Coventry Berlin UK Germany OsmanHasan National University ofSciences andTechnology Islamabad Pakistan ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notesin Artificial Intelligence ISBN 978-3-319-62074-9 ISBN978-3-319-62075-6 (eBook) DOI 10.1007/978-3-319-62075-6 LibraryofCongressControlNumber:2017944318 LNCSSublibrary:SL7–ArtificialIntelligence ©SpringerInternationalPublishingAG2017 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow knownorhereafterdeveloped. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin publishedmapsandinstitutionalaffiliations. Printedonacid-freepaper ThisSpringerimprintispublishedbySpringerNature TheregisteredcompanyisSpringerInternationalPublishingAG Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland Preface This volume contains the papers presented at CICM 2017: the 10th Conference on Intelligent Computer Mathematics held during July 17–21, 2017 in Edinburgh. Mathematics is “the queen of the sciences” (Friedrich Gauss), and “the language with which God has written the universe” (Galileo Galilei). This language is at the same time flexible enough to describe a wide variety of complex phenomena and rigorous enough to be verified in detail based on a small set of assumptions. But the collectionofmathematicalknowledgeisexploding,anditcannolongerbehandledby theparadigmatic“pencilandpaper”approach:Eachyearthereare120,000newarticles and some proofs are so large and complicated that human verification has become infeasible. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing ways of involving computers in the process of “doing mathematics” in the broadest sense. The conference is the result of merging three independentmeetingswithconsiderableoverlap:Calculemus(integrationofdeduction andsymboliccalculation),MathematicalKnowledgeManagement(MKM),andDigital Mathematical Libraries (DML). CICM has been held annually since 2008, with pre- vious meetings in Birmingham (UK 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012), Bath (UK 2013), Coimbra (Portugal 2014), Washington, DC (USA 2015), and Białystok (Poland 2016). As in previous years, we had several tracks: Calculemus, Digital Mathematics Libraries (DML), and Mathematical Knowledge Management (MKM), which mirror the three main communities that form CICM, and a track on “Systems and Projects.” The papers accepted to these four tracks form the content of these proceedings. CICM 2017 had invited talks by Alan Bundy (University of Edinburgh), Grant Olney Passmore (University of Cambridge), and Przemysław Chojecki (Polish Academy of Sciences). Additionally, the conference had two workshops, a doctoral mentoring program, and an informal track for presenting work in progress; the proceedings oftheseeventsarepublishedwithCEUR-WS.Theprogramofthemeeting,aswellas additional materials, is available at http://cicm-conference.org/2017/. The track structure of CICM provides a framework for organizing the conference. The Calculemus track examines the integration of symbolic computation and mecha- nized reasoning. The Digital Mathematics Libraries track deals with math-aware technologies, standards, algorithms, and processes. The Mathematical Knowledge Managementtrackisconcernedwithallaspectsofmanagingmathematicalknowledge ininformal,semi-formal,andformalsettings.TheSystemsandProjectstrackcontains descriptionsofsystemsandrelevantprojects,bothofwhicharekeytoaresearchtopic where theory and practice interact on explicitly represented knowledge. This year, CICM had 40 submissions. Each submission received at least three reviews. The reviewing included a response period, in which authors could clarify pointsraisedbythereviewers.Thismadeforahighlyproductiveroundofdeliberations VI Preface beforethefinaldecisionsweretaken.Intheend,theProgramCommitteesofthetracks decided to accept 24 papers for these proceedings. The Program Committee work for the tracks was managed using the EasyChair system. This year we used the multi-track facility provided by EasyChair. This made track assignments, reviewing, and dealing with conflicts of interest very flexible. The fact that we had five chairs – the general chair and four track chairs – together with excellent conflict management made transparent and safe handling of submissions authored or co-authored by the track chairs very easy. As in previous years, several workshops and informal programs were organized in conjunction with CICM 2017. This year these were: – The CICM Doctoral Program, providing a dedicated forum for PhD students to present their on-going or planned research and receive feedback, advice, and sug- gestions from a dedicated research advisory board. – TheCICMWork-in-ProgressSession,aforumforthepresentationoforiginalwork not yet in a suitable form for communication as a formal paper. – MathUI 2017: 12th Workshop on Mathematical User Interfaces, an international workshop to discuss how users can be best supported when doing/ learning/searching for/interacting with mathematics using a computer. MathUI was organized by Andrea Kohlhase, University of Applied Sciences Neu-Ulm, Germany, and Marco Pollanen, Trent University Peterborough, Ontario Canada. – The 28th OpenMath Workshop. OpenMath is a language for exchanging mathe- matical formulae across applications (such as computer algebra systems and theo- rem provers). TheworkshopwasorganizedbyJamesDavenport,theUniversityof Bath, and Michael Kohlhase, FAU Erlangen-Nürnberg, Germany TheconferencewasorganizedattheUniversityofEdinburgh.Weheart-fullythank the University of Edinburgh for the hospitality, and in particular we thank the local organizers, Jacques Fleuriot and Suzanne Perry, for all their good work. May 2017 Herman Geuvers Matthew England Osman Hasan Florian Rabe Olaf Teschke Organization CICM 2017 Organizing Committee General Program Chair Herman Geuvers Radboud University, The Netherlands Conference Chair Jacques Fleuriot University of Edinburgh, UK Calculemus Track Chair Matthew England Coventry University, UK DML Track Chair Olaf Teschke FIZ Karlsruhe, Germany MKM Track Chair Florian Rabe Jacobs University Bremen, Germany Systems and Projects Chair Osman Hasan National University of Sciences and Technology, Pakistan Workshops Chair Petros Papapanagiotou University of Edinburgh, UK Doctoral Programme Chair Adnan Rashid National University of Sciences and Technology, Pakistan Publicity Chair Serge Autexier DFKI Bremen, Germany CICM Steering Committee Volker Sorge (Secretary) Wolfgang Windsteiger (Calculemus representative) Petr Sojka (DML representative) Adam Naumowicz (MKM representative) William Farmer (Treasurer) VIII Organization Michael Kohlhase (Outgoing PC chair) Herman Geuvers (Incoming PC chair) Program Committee Waqar Ahmed National University of Sciences and Technology, Pakistan Rob Arthan Queen Mary University of London, UK Thierry Bouche Université Grenoble Alpes, France Jacques Carette McMaster University, Canada James H. Davenport University of Bath, UK Gabriel Dos Reis Texas A&M University, USA Catherine Dubois École National Supérieure d’Informatique pour l’Industrie et l’Entreprise, France Matthew England Coventry University, UK Madalina Erascu Institute e-Austria Timisoara and West University of Timisoara, Romania William Farmer McMaster University, Canada Herman Geuvers Radboud University Nijmegen, The Netherlands Osman Hasan National University of Sciences and Technology, Pakistan Paul Jackson University of Edinburgh, UK Mateja Jamnik University of Cambridge, UK P. Jansson Chalmers University of Technology and University of Gothenburg, Sweden Dejan Jovanović SRI International, USA Cezary Kaliszyk University of Innsbruck, Austria Manfred Kerber University of Birmingham, UK Michael Kohlhase FAU Erlangen Nürnberg, Germany Thomas Koprucki Weierstrass Institute for Applied Analysis and Stochastics (WIAS), Germany Laura Kovacs Vienna University of Technology, Austria Temur Kutsia RISC, Johannes Kepler University Linz, Austria Alexander Maletzky RISC, Johannes Kepler University Linz, Austria Adam Naumowicz Institute of Informatics, University of Bialystok, Poland Michael Norrish NICTA, Australia Florian Rabe Jacobs University Bremen, Germany Renaud Rioboo École National Supérieure d’Informatique pour l’Industrie et l’Entreprise, France Jiří Rákosník Institute of Mathematics of the Czech Academy of Sciences, Czech Republic Claudio Sacerdoti Coen University of Bologna, Italy Alan Sexton University of Birmingham, UK Muhammad Umair McMaster University, Canada Siddique Geoff Sutcliffe University of Miami, USA Sofiene Tahar Concordia University, Canada Olaf Teschke FIZ Karlsruhe, Germany Organization IX Nicolas Thiery Université Paris Sud, France Josef Urban Czech Technical University in Prague, Czech Republic Stephen Watt University of Waterloo, Canada Richard Zanibbi Rochester Institute of Technology, USA Additional Reviewers Brown, Chad Harrison, John Robillard, Simon Carette, Jacques Mukherjee, Rajdeep Wiedijk, Freek Ebner, Gabriel Müller, Fabian Gauthier, Thibault Pak, Karol
The list of books you might like
