Mathematical Software - Icms 2024: 8th International Conference, Durham, Uk, July 22-25, 2024, Proceedings

Buzzard, Kevin, Dickenstein, Alicia, Eick, Bettina

  • 出版商: Springer
  • 出版日期: 2024-07-17
  • 售價: $2,900
  • 貴賓價: 9.5$2,755
  • 語言: 英文
  • 頁數: 376
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3031645286
  • ISBN-13: 9783031645280
  • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This book constitutes the proceedings of the 8th International Conference on Mathematical Software, ICMS 2024, held in Durham, UK, during July 22-25, 2024.

The 37 full papers presented were carefully reviewed and selected from 46 submissions. The papers are organized in subject areas as follows: plenary lectures; number theory and related areas; novel formalisations of mathematics in lean; software for the applications of group theory to combinatorics; classical algebraic geometry & modern computer algebra: innovative software design and its applications; advancing computer algebra with massively parallel methods; computer algebra applications in the life sciences; machine learning within computer algebra systems; numerical software for special functions; mathematical research data; symbolic-numeric methods in algebraic geometry; Polyhedral geometry and combinatorics; general session.

商品描述(中文翻譯)

本書為第八屆國際數學軟體會議(ICMS 2024)的會議紀錄,會議於2024年7月22日至25日在英國達勒姆舉行。

所呈現的37篇完整論文經過仔細審查,從46篇投稿中選出。論文依主題區域組織如下:大會演講;數論及相關領域;在lean中數學的新形式化;將群論應用於組合學的軟體;古典代數幾何與現代計算代數:創新的軟體設計及其應用;利用大規模並行方法推進計算代數;計算代數在生命科學中的應用;計算代數系統中的機器學習;特殊函數的數值軟體;數學研究數據;代數幾何中的符號-數值方法;多面體幾何與組合學;一般會議。