Computer Algebra in Scientific Computing : 27th International Workshop, CASC 2025, Dubai, United Arab Emirates, November 24-28, 2025, Proceedings (Lecture Notes in Computer Science)

個数：

予約

Computer Algebra in Scientific Computing : 27th International Workshop, CASC 2025, Dubai, United Arab Emirates, November 24-28, 2025, Proceedings (Lecture Notes in Computer Science)

Boulier, François (EDT)/ Mou, Chenqi (EDT)/ Sadykov, Timur M. (EDT)

ウェブストア価格 ¥16,780（本体¥15,255）
Springer Nature Switzerland AG（2025/11発売）
外貨定価 US$ 79.99
ポイント 152pt

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

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

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

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

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

製本 Paperback:紙装版/ペーパーバック版／ページ数 424 p.
言語 ENG
商品コード 9783032096449

Full Description

This book constitutes the refereed proceedings of the 27th International Workshop on Computer Algebra in Scientific Computing, CASC 2025, which took place in Dubai, United Arab Emirates, during November 24-28, 2025.

The 22 full papers and included in this book were carefully reviewed and selected from 36 submissions. They focus on all aspects of computer algebra, symbolic computation, scientific computing, and related fields, alongside the country's strategic focus on advancing research and establishing itself as a regional hub and global leader in scientific computing.

.- A Failure Probability Analysis of a Modular Algorithm to Compute the Monic GCD of Multivariate Polynomials over Algebraic Number Fields Qα.

.- Second-Order Parameterizations for the Complexity Theory of Integrable Functions.

.- Ordered Fields and Grzegorczyk's Hierarchy.

.- Computation of Stirling Numbers for Complex Arguments.

.- High Performance Gr¨obner Basis Computations in Free Algebras.

.- Projective Plane Subdivision Method For Initial Orbit Determination.

.- On Stationary Motions in the Generalized Problem of the Chaplygin Ball.

.- Effective Hilbert's Irreducibility Theorem for Primary Ideals.

.- Advanced Symbolic Integration of Products of the Fox H-Functions.

.- Computing Linear Regions in Neural Networks with Skip Connections.

.- A Hybrid Approach to Speeding up Schoof's Algorithm on Supersingular Elliptic Curves.

.- Symbolic-Numerical Algorithms for Solving Multidimensional Boundary Value Problems by Finite Element Method on Hypercubes.

.- A New Black Box GCD Algorithm using Hensel Lifting.

.- Lower Bounds of Costs of 3-isogenies Formulas in the Framework of Generalized Montgomery Coordinates.

.- Support Bound for Differential Elimination in Polynomial Dynamical Systems.

.- Software Portability for Computer Algebra.

.- An Effective Trajectory Planning and an Optimized Path Planning for a 6-Degree-of-Freedom Robot Manipulator.
.- I nverse Kinematics for a 6-Degree-of-Freedom Robot Manipulator Using Comprehensive Gr¨obner Systems.

.- Choosing Variable Orderings Based on Elimination Tree for Sparse Triangular Decomposition.

.- Parallel Computation of the Power Series Solutions to Linear Ordinary Differential Equation.

.- Subresultant of Bernstein Polynomials and its Application in Computing the Parametric Greatest Common Divisor.

.- Hankel Polynomials and Their Zeros.