You might also like

More about Intelligent Computer Mathematics

• Book details
• Synopsis
• Trending among others

You get 125 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*.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.

Book details

• Full title: Intelligent Computer Mathematics
• Author: Bruce Miller
• Language: English
• Binding: Paperback
• Number of pages: 337
• EAN: 9783030535179
• ISBN: 3030535177
• ID: 32996941
• Publisher: Springer Nature Switzerland AG
• Weight: 539 g
• Dimensions: 235 × 155 × 20 mm
• Date of publishing: 18. July 2020

Trending among others

---

---

---