Intelligent Computer Mathematics  13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings /  [electronic resource] : 
edited by Christoph Benzmüller, Bruce Miller. 
 - 1st ed. 2020. 
 - XI, 337 p. 445 illus., 54 illus. in color.  online resource. 
 - Lecture Notes in Artificial Intelligence,  12236  2945-9141 ; .
 - Lecture Notes in Artificial Intelligence,  12236 .
<br/><br/>Invited Talks -- Full Papers -- System Descriptions and Datasets -- Abstracts of Invited Talks. 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783030535186 
<br/><br/><label>Standard No.: </label>10.1007/978-3-030-53518-6  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial intelligence.<br/>Computer science.<br/>Computer networks .<br/>Application software.<br/>Software engineering.<br/>Computers.<br/>Artificial Intelligence.<br/>Theory of Computation.<br/>Computer Communication Networks.<br/>Computer and Information Systems Applications.<br/>Software Engineering.<br/>Computing Milieux.
<br/><br/><label>LC Class. No.: </label>Q334-342 TA347.A78 
<br/><br/><label>Dewey Class. No.: </label>006.3