Intelligent Computer Mathematics: 18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings
暫譯: 智能電腦數學：第18屆國際會議 CICM 2025，巴西利亞，巴西，2025年10月6-10日，會議論文集
De Paiva, Valeria, Koepke, Peter
- 出版商: Springer
- 出版日期: 2025-10-08
- 售價: $5,670
- 貴賓價: 9.5 折 $5,387
- 語言: 英文
- 頁數: 470
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3032070201
- ISBN-13: 9783032070203
-
相關分類:
離散數學 Discrete-mathematics
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 6-11, 2025.
The 24 full papers were presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in the following topical sections as follows: Automated Reasoning; Formal Libraries; Logical and Linguistic Foundations; Mathematical Knowledge Management; Neural Language Models; and Proof Assistants and Formalizations.
商品描述(中文翻譯)
本書為第18屆國際智能計算數學會議（CICM 2025）的經過審核的會議論文集，會議於2025年10月6日至11日在巴西巴西利亞舉行。
本卷中發表的24篇完整論文是從34篇投稿中精心審核和選出的。這些論文被組織在以下主題部分：自動推理；形式庫；邏輯與語言基礎；數學知識管理；神經語言模型；以及證明助手與形式化。
