Skip to main content
SpringerLink
Log in
Book cover

Intelligent Computer Mathematics

11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Florian Rabe

    1. Department of Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg, Erlangen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. William M. Farmer

    1. Department of Computing and Software, McMaster University, Hamilton, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Grant O. Passmore

    1. University of Cambridge, Cambridge, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Abdou Youssef

    1. Department of Computer Science, The George Washington University, Washington, USA

    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 11006)

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

Included in the following conference series:

Conference proceedings info: CICM 2018.

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 (23 papers)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. System Description: XSL-Based Translator of Mizar to LaTeX

    • Grzegorz Bancerek, Adam Naumowicz, Josef Urban
    Pages 1-6

  3. Translating the IMPS Theory Library to MMT/OMDoc

    • Jonas Betzendahl, Michael Kohlhase
    Pages 7-22

  4. Using the Isabelle Ontology Framework

    • Achim D. Brucker, Idir Ait-Sadoune, Paolo Crisafulli, Burkhart Wolff
    Pages 23-38

  5. Automated Symbolic and Numerical Testing of DLMF Formulae Using Computer Algebra Systems

    • Howard S. Cohl, André Greiner-Petter, Moritz Schubotz
    Pages 39-52

  6. Concrete Semantics with Coq and CoqHammer

    • Łukasz Czajka, Burak Ekici, Cezary Kaliszyk
    Pages 53-59

  7. Automated Determination of Isoptics with Dynamic Geometry

    • Thierry Dana-Picard, Zoltán Kovács
    Pages 60-75

  8. Biform Theories: Project Description

    • Jacques Carette, William M. Farmer, Yasmine Sharoda
    Pages 76-86

  9. A Coq Formalization of Digital Filters

    • Diane Gallois-Wong, Sylvie Boldo, Thibault Hilaire
    Pages 87-103

  10. MathTools: An Open API for Convenient MathML Handling

    • André Greiner-Petter, Moritz Schubotz, Howard S. Cohl, Bela Gipp
    Pages 104-110

  11. Aligator.jl – A Julia Package for Loop Invariant Generation

    • Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
    Pages 111-117

  12. Enhancing ENIGMA Given Clause Guidance

    • Jan Jakubův, Josef Urban
    Pages 118-124

  13. Formalized Mathematical Content in Lecture Notes on Modelling and Analysis

    • Michael Junk, Stefan Hölle, Sebastian Sahli
    Pages 125-130

  14. Isabelle Import Infrastructure for the Mizar Mathematical Library

    • Cezary Kaliszyk, Karol Pąk
    Pages 131-146

  15. Discourse Phenomena in Mathematical Documents

    • Andrea Kohlhase, Michael Kohlhase, Taweechai Ouypornkochagorn
    Pages 147-163

  16. Finding and Proving New Geometry Theorems in Regular Polygons with Dynamic Geometry and Automated Reasoning Tools

    • Zoltán Kovács
    Pages 164-177

  17. Gröbner Bases of Modules and Faugère’s \(F_4\) Algorithm in Isabelle/HOL

    • Alexander Maletzky, Fabian Immler
    Pages 178-193

  18. MathChat: Computational Mathematics via a Social Machine

    • Manfred Minimair
    Pages 194-208

  19. Automatically Finding Theory Morphisms for Knowledge Management

    • Dennis Müller, Michael Kohlhase, Florian Rabe
    Pages 209-224

  20. Goal-Oriented Conjecturing for Isabelle/HOL

    • Yutaka Nagashima, Julian Parsert
    Pages 225-231
Back to top

Other volumes

  1. Intelligent Computer Mathematics

Keywords

About this book

​This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018. 

The 23 full papers   presented were carefully reviewed and selected from a total of 36 submissions. The papers focos on the Calculemus, Digital Mathematics Libraries, and Mathematical Knowledge Management tracks which also correspond to the subject areas of the predecessor meetings. Orthogonally, the Systems and Projects track called for descriptions of digital resources, such as data and systems, and of projects, whether old, current, or new, and survey papers covering any topics of relevance to the CICM community.


Editors and Affiliations

  • Department of Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg, Erlangen, Germany

    Florian Rabe

  • Department of Computing and Software, McMaster University, Hamilton, Canada

    William M. Farmer

  • University of Cambridge, Cambridge, United Kingdom

    Grant O. Passmore

  • Department of Computer Science, The George Washington University, Washington, USA

    Abdou Youssef

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation