Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings: 10383 (Lecture Notes in Computer Science)

by Florian Rabe (Series Editor), OsmanHasan (Series Editor), OlafTeschke (Series Editor), Matthew England (Series Editor), HermanGeuvers (Editor)

• New

  Paperback
  2017

  $61.26

  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 papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning;