The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics.
* The conference was held virtually due to the COVID-19 pandemic.
The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics.
* The conference was held virtually due to the COVID-19 pandemic.
Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
337
Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
337Paperback(1st ed. 2020)
Product Details
| ISBN-13: | 9783030535179 |
|---|---|
| Publisher: | Springer International Publishing |
| Publication date: | 07/18/2020 |
| Series: | Lecture Notes in Computer Science , #12236 |
| Edition description: | 1st ed. 2020 |
| Pages: | 337 |
| Product dimensions: | 6.10(w) x 9.25(h) x (d) |