Intelligent Computer Mathematics
9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016. The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data.
| ISBN: | 9783319425467 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 163 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Johansson, Moa Kohlhase, Michael Miller, Bruce Tompa, Frank de Moura, Leonardo |
| Verlag: | Springer International Publishing |
| Veröffentlicht: | 12.07.2016 |
| Untertitel: | 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings |
| Schlagworte: | automated reasoning automated theorem proving computational logic computer-supported theory exploration computer algebra systems digital mathematical libraries formalization higher-order logic model checking symbolic computation |
Anmelden