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
