£44.99

Intelligent Computer Mathematics

Name: Intelligent Computer Mathematics
Price: 44.99 GBP
Availability: InStock
ISBN: 9783030535186

13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings

Information technology: general topics Network hardware Software Engineering Applied computing Mathematical theory of computation Artificial intelligence

Collection: Lecture Notes in Computer Science

Language: English

Published by: Springer

Published on: 17th July 2020

Format: LCP-protected ePub

Size: 16 Mb

ISBN: 9783030535186

Conference Details

This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020.

Content and Review Process

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.