Intelligent computer mathematics: 10th international conference, cicm 2017, edinburgh, uk, july 17-21, 2017, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319620749
Date de publication :
29 juin 2017
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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;