Mathematical Software - ICMS 2026 : 9th International Congress, Waterloo, ON, Canada, July 20-23, 2026, Proceedings (Lecture Notes in Computer Science)

個数：

予約

Mathematical Software - ICMS 2026 : 9th International Congress, Waterloo, ON, Canada, July 20-23, 2026, Proceedings (Lecture Notes in Computer Science)

Mourrain, Bernard (EDT)/ Ren, Yue (EDT)/ Petrovic, Sonja (EDT)

ウェブストア価格 ¥21,116（本体¥19,197）
Springer, Berlin; Springer Nature Switzerland; Springer（2027/01発売）
外貨定価 EUR 79.17
ポイント 191pt

現在予約受付中です。出版後の入荷・発送となります。
（重要：表示されている発売日は予定となり、発売が延期、中止、生産限定品で商品確保ができないなどの理由により、ご注文をお取消しさせていただく場合がございます。予めご了承ください。）

●3Dセキュア導入とクレジットカードによるお支払いについて

【入荷遅延について】
世界情勢の影響により、海外からお取り寄せとなる洋書・洋古書の入荷が、表示している標準的な納期よりも遅延する場合がございます。
おそれいりますが、あらかじめご了承くださいますようお願い申し上げます。

◆画像の表紙や帯等は実物とは異なる場合があります。

◆ウェブストアでの洋書販売価格は、弊社店舗等での販売価格とは異なります。
また、洋書販売価格は、ご注文確定時点での日本円価格となります。
ご注文確定後に、同じ洋書の販売価格が変動しても、それは反映されません。

製本 Paperback:紙装版/ペーパーバック版
商品コード 9783032455659

Full Description

This book constitutes the proceedings of the 9th International Conference on Mathematical Software, ICMS 2026, held in Waterloo, ON, Canada, during July 20-23, 2026.

The 52 full papers included in this book were carefully reviewed and selected from 76 submissions. They were organized in topical sections as follows: Automating Mathematical Reasoning: Interactions Between Proof Assistants, Computer Algebra Systems (CAS) and Generative AI; Computational Category Theory; Mathematics in Lean; High-Performance Computer Algebra; Computing Methods in (Dual) Quaternion Matrix/Tensor; Software for Enumerative and Analytic Combinatorics; Biological Applications of Computer Algebra; Design and Implementation of Computer Algebra Systems and Software; Mathematical Knowledge Management; Computational Methods in Combinatorial Algebra and Geometry; Symbolic-Numeric Computation; and General topics.