Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
暫譯: 智能電腦數學：第十三屆國際會議 CICM 2020，意大利貝爾蒂諾羅，2020年7月26日至31日，會議論文集
Benzmüller, Christoph, Miller, Bruce
相關主題
商品描述
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.
商品描述(中文翻譯)
本書為第十三屆國際智慧計算數學會議（CICM 2020）的經過審核的會議論文集，該會議於2020年7月在意大利的貝爾蒂諾羅舉行。共計15篇完整論文、1篇邀請論文及2篇邀請論文摘要，這些論文是從總共35篇投稿中精心審核和選出的。這些論文專注於自動定理證明器和形式化、計算代數系統及其庫的進展，以及機器學習的應用等主題。
* 由於COVID-19疫情，會議以虛擬方式舉行。
