Advertisement

Intelligent Computer Mathematics

12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings

  • Cezary Kaliszyk
  • Edwin Brady
  • Andrea Kohlhase
  • Claudio Sacerdoti Coen
Conference proceedings CICM 2019

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11617)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 11617)

Table of contents

  1. Front Matter
    Pages i-xii
  2. Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock
    Pages 16-27
  3. Katja Berčič, Michael Kohlhase, Florian Rabe
    Pages 28-43
  4. Chad E. Brown, Karol Pąk
    Pages 44-60
  5. Andrea Condoluci, Michael Kohlhase, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen, Makarius Wenzel
    Pages 61-76
  6. Besik Dundua, Temur Kutsia, Mircea Marin
    Pages 77-92
  7. Jacques Carette, William M. Farmer
    Pages 109-124
  8. Moa Johansson
    Pages 125-139
  9. Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen
    Pages 171-186
  10. Dee Quinlan, Joe B. Wells, Fairouz Kamareddine
    Pages 187-204
  11. Florian Rabe, Yasmine Sharoda
    Pages 211-226
  12. Daniel Raggi, Aaron Stockdill, Mateja Jamnik, Grecia Garcia Garcia, Holly E. A. Sutherland, Peter C.-H. Cheng
    Pages 227-242
  13. Claudio Sacerdoti Coen
    Pages 243-257
  14. Moritz Schubotz, Olaf Teschke, Vincent Stange, Norman Meuschke, Bela Gipp
    Pages 258-274
  15. Kai Amann, Michael Kohlhase, Florian Rabe, Tom Wiesing
    Pages 275-290
  16. Back Matter
    Pages 307-307

About these proceedings

Introduction

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.

Keywords

artificial intelligence databases digital mathematical libraries formal logic interface generation isabelle/hol Isabelle/PIDE machine learning math search math semantics problem solving semantics symbolic computation theorem provers theorem proving variadic equation matching

Editors and affiliations

  1. 1.University of InnsbruckInnsbruckAustria
  2. 2.University of St. AndrewsSt. AndrewsUK
  3. 3.University of Applied SciencesNeu-UlmGermany
  4. 4.University of BolognaBolognaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-23250-4
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-23249-8
  • Online ISBN 978-3-030-23250-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Materials & Steel
Automotive
Chemical Manufacturing
Health & Hospitals
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering