Skip to main content

Intelligent Computer Mathematics

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

  • Conference proceedings
  • © 2018


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

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)

Other volumes

  1. Intelligent Computer Mathematics


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