LEADER 04630nam  22006135  450 
001 996691665703316
005 20251101120412.0
010   $a9783032096456$b(electronic bk.)
010   $z9783032096449
024 7 $a10.1007/978-3-032-09645-6
035   $a(MiAaPQ)EBC32384792
035   $a(Au-PeEL)EBL32384792
035   $a(CKB)41996886900041
035   $a(DE-He213)978-3-032-09645-6
035   $a(EXLCZ)9941996886900041
100   $a20251101d2026      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aComputer Algebra in Scientific Computing $e27th International Workshop, CASC 2025, Dubai, United Arab Emirates, November 24?28, 2025, Proceedings /$fedited by François Boulier, Chenqi Mou, Timur M. Sadykov, Evgenii V. Vorozhtsov
205   $a1st ed. 2026.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2026.
215   $a1 online resource (843 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v16235
311 08$aPrint version: Boulier, François Computer Algebra in Scientific Computing Cham : Springer,c2025 9783032096449 
327   $a -- 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.
330   $aThis 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.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v16235
606   $aArtificial intelligence
606   $aComputer science$xMathematics
606   $aComputer networks
606   $aAlgorithms
606   $aArtificial Intelligence
606   $aMathematics of Computing
606   $aComputer Communication Networks
606   $aDesign and Analysis of Algorithms
615  0$aArtificial intelligence.
615  0$aComputer science$xMathematics.
615  0$aComputer networks.
615  0$aAlgorithms.
615 14$aArtificial Intelligence.
615 24$aMathematics of Computing.
615 24$aComputer Communication Networks.
615 24$aDesign and Analysis of Algorithms.
676   $a006.3
700   $aBoulier$b François$0954481
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
912   $a996691665703316
996   $aComputer algebra in scientific computing$92158879
997   $aUNISA