03517nam 22006855 450 991041343930332120200717084514.03-030-53518-510.1007/978-3-030-53518-6(CKB)4100000011354787(DE-He213)978-3-030-53518-6(MiAaPQ)EBC6273284(PPN)254614086(EXLCZ)99410000001135478720200717d2020 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierIntelligent Computer Mathematics 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings /edited by Christoph Benzmüller, Bruce Miller1st ed. 2020.Cham :Springer International Publishing :Imprint: Springer,2020.1 online resource (XI, 337 p. 445 illus., 54 illus. in color.) Lecture Notes in Artificial Intelligence ;122363-030-53517-7 Invited Talks -- Full Papers -- System Descriptions and Datasets -- Abstracts of Invited Talks.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.Lecture Notes in Artificial Intelligence ;12236Artificial intelligenceComputersApplication softwareSoftware engineeringArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Information Systems and Communication Servicehttps://scigraph.springernature.com/ontologies/product-market-codes/I18008Computer Applicationshttps://scigraph.springernature.com/ontologies/product-market-codes/I23001Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Computing Milieuxhttps://scigraph.springernature.com/ontologies/product-market-codes/I24008Artificial intelligence.Computers.Application software.Software engineering.Artificial Intelligence.Theory of Computation.Information Systems and Communication Service.Computer Applications.Software Engineering/Programming and Operating Systems.Computing Milieux.004.0151006.30151Benzmüller Christophedthttp://id.loc.gov/vocabulary/relators/edtMiller Bruceedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910413439303321Intelligent Computer Mathematics3552027UNINA