Skip to main content

Intelligent Computer Mathematics

10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

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

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

Included in the following conference series:

Conference proceedings info: CICM 2017.

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

Access this book

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

Other volumes

  1. Intelligent Computer Mathematics

Keywords

About this book

This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.

The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning; the Digital Mathematics Libraries track dealing with math-aware technologies, standards, algorithms, and processes; the Mathematical Knowledge Management track being concerned with all aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings. An additional track Systems and Projects contains descriptions of systems and relevant projects, both of which are key to a research topic where theory and practice interact on explicitly represented knowledge.

Editors and Affiliations

  • Radboud University, Nijmegen, The Netherlands

    Herman Geuvers

  • Coventry University, Coventry, United Kingdom

    Matthew England

  • National University of Sciences and Technology, Islamabad, Pakistan

    Osman Hasan

  • Jacobs University Bremen, Bremen, Germany

    Florian Rabe

  • FIZ Karlsruhe, Berlin, Germany

    Olaf Teschke

Bibliographic Information

Publish with us