Skip to main content
SpringerLink
Log in

Intelligent Computer Mathematics

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

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Cezary Kaliszyk

    1. University of Innsbruck, Innsbruck, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Edwin Brady

    1. University of St. Andrews, St. Andrews, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Andrea Kohlhase

    1. University of Applied Sciences, Neu-Ulm, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Claudio Sacerdoti Coen

    1. University of Bologna, Bologna, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: CICM 2019.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Interaction with Formal Mathematical Documents in Isabelle/PIDE

    • Makarius Wenzel
    Pages 1-15

  3. Beginners’ Quest to Formalize Mathematics: A Feasibility Study in Isabelle

    • Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock
    Pages 16-27

  4. Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation

    • Katja Berčič, Michael Kohlhase, Florian Rabe
    Pages 28-43

  5. A Tale of Two Set Theories

    • Chad E. Brown, Karol Pąk
    Pages 44-60

  6. Relational Data Across Mathematical Libraries

    • Andrea Condoluci, Michael Kohlhase, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen, Makarius Wenzel
    Pages 61-76

  7. Variadic Equational Matching

    • Besik Dundua, Temur Kutsia, Mircea Marin
    Pages 77-92

  8. Comparing Machine Learning Models to Choose the Variable Ordering for Cylindrical Algebraic Decomposition

    • Matthew England, Dorian Florescu
    Pages 93-108

  9. Towards Specifying Symbolic Computation

    • Jacques Carette, William M. Farmer
    Pages 109-124

  10. Lemma Discovery for Induction

    • Moa Johansson
    Pages 125-139

  11. 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

  12. Formalization of Dubé’s Degree Bounds for Gröbner Bases in Isabelle/HOL

    • Alexander Maletzky
    Pages 155-170

  13. The Coq Library as a Theory Graph

    • Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen
    Pages 171-186

  14. BNF-Style Notation as It Is Actually Used

    • Dee Quinlan, Joe B. Wells, Fairouz Kamareddine
    Pages 187-204

  15. MMTTeX: Connecting Content and Narration-Oriented Document Formats

    • Florian Rabe
    Pages 205-210

  16. Diagram Combinators in MMT

    • Florian Rabe, Yasmine Sharoda
    Pages 211-226

  17. 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

  18. A Plugin to Export Coq Libraries to XML

    • Claudio Sacerdoti Coen
    Pages 243-257

  19. Forms of Plagiarism in Digital Mathematical Libraries

    • Moritz Schubotz, Olaf Teschke, Vincent Stange, Norman Meuschke, Bela Gipp
    Pages 258-274

  20. Integrating Semantic Mathematical Documents and Dynamic Notebooks

    • Kai Amann, Michael Kohlhase, Florian Rabe, Tom Wiesing
    Pages 275-290
Back to top

Other volumes

  1. Intelligent Computer Mathematics

Keywords

About this book

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.

Editors and Affiliations

  • University of Innsbruck, Innsbruck, Austria

    Cezary Kaliszyk

  • University of St. Andrews, St. Andrews, UK

    Edwin Brady

  • University of Applied Sciences, Neu-Ulm, Germany

    Andrea Kohlhase

  • University of Bologna, Bologna, Italy

    Claudio Sacerdoti Coen

Bibliographic Information

  • Book Title: Intelligent Computer Mathematics

  • Book Subtitle: 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings

  • Editors: Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-030-23250-4

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer Nature Switzerland AG 2019

  • Softcover ISBN: 978-3-030-23249-8Published: 03 July 2019

  • eBook ISBN: 978-3-030-23250-4Published: 02 July 2019

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 307

  • Number of Illustrations: 470 b/w illustrations, 70 illustrations in colour

  • Topics: Artificial Intelligence, Theory of Computation, Information Systems and Communication Service

Publish with us

Policies and ethics

Back to top

Search

Navigation