{"product_id":"intelligent-computer-mathematics-13th-international-conference-cicm-2020-bertinoro-italy-july-26-31-2020-proceedings-von-christoph-benzmuller-bruce-miller-hrsg","title":"Intelligent Computer Mathematics","description":"\n                                This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*.\n                \n                \u003cp\u003eThe 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. \u003c\/p\u003e\n                                \n                \n                \u003cp\u003e* The conference was held virtually due to the COVID-19 pandemic.\u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783030535179\"\u003e\u003ch3\u003e13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783030535179","offer_id":39423780126813,"sku":"9783030535179","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/f424e7e5-7d3e-4d5e-893b-9d412afba821.jpg?v=1773551389","url":"https:\/\/shop.autorenwelt.de\/products\/intelligent-computer-mathematics-13th-international-conference-cicm-2020-bertinoro-italy-july-26-31-2020-proceedings-von-christoph-benzmuller-bruce-miller-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}