Book Details


Intelligent Computer Mathematics

Publication year: 2020

ISBN: 978-3-030-53518-6

Internet Resource: Please Login to download book

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.

Subject: Computer Science, artificial intelligence, computer systems, databases, education, formal languages, formal logic, knowledge-based system, libraries, linguistics, machine learning, semantics, software design, theorem provers