04355nam 22006135 450 991112794580332120260810094946.09783032345868(electronic bk.)10.1007/978-3-032-34586-8(MiAaPQ)EBC32896102(Au-PeEL)EBL32896102(CKB)50490815300041(OCoLC)1611791059(DE-He213)978-3-032-34586-8(EXLCZ)995049081530004120260809d2027 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierComputer Algebra in Scientific Computing 28th International Workshop, CASC 2026, Bath, UK, August 31 – September 4, 2026, Proceedings /edited by François Boulier, Chenqi Mou, Timur M. Sadykov, Ali Kemal Uncu1st ed. 2027.Cham :Springer Nature Switzerland :Imprint: Springer,2027.1 online resource (819 pages)Lecture Notes in Computer Science,1611-3349 ;16844Print version: Boulier, François Computer Algebra in Scientific Computing Cham : Springer,c2026 9783032345851 -- A Survey on Symbolic Summation in Difference Rings. -- Computer Generation of Explicit Formulas for Hyperelliptic Curve Divisor Arithmetic. -- Accelerating the Factorization of Multilinear Boolean Polynomials. -- On Sub-Algorithm Selection for Symbolic Integration: An Empirical Comparison of TreeLSTM and Transformer. -- Application of the NORT Computer Algebra Package for Reducing Dynamical Systems of ODEs to the Normal Form. -- Pseudo-Complex Quantifier Elimination. -- Involutions on Skew Polynomial Rings. -- Computing Smith Forms Modulo p2 of Sparse Matrices Faster Than Matrix Multiplication. -- On Factoring Quantum-Plane Skew Polynomials over Q(omega)(t). -- On the Computation of Extended Convex Hulls. -- Inverse Kinematics for a 7-Degree-of-Freedom Robot Manipulator Using Comprehensive Gr¨obner Systems. -- Symbolic-Numerical Algorithms for Solving Boundary Value Problems. -- A Parametric Differential System Admitting an Integral Input-Output Equation with a Fraction. -- On GPU Implementation for Multi-Precision Integer Division. -- GCDHEU Revisited: Correctness in Multivariate Case and Degree-Aware Variable Ordering. -- Testing Tameness of Complex Polynomial Mappings and Computing Their Bifurcation Sets. -- A Note on the Unit-Root Formula for Montgomery Curves. -- Letting Homogeneity Entropy Select S-Pairs in Buchberger’s Algorithm . 344 Uzma Shafiq, Matthew England, Amir Hosein Sadeghimanesh, and Nayyar Zaidi. -- Short SLPs for Sparse Polynomial Maps. -- Look Before You Leap: Checking in on Type Tag Checking. -- A Compensated Estrin Scheme for Accurate Polynomial Evaluation.This book constitutes the refereed proceedings of the 28th International Workshop on Computer Algebra in Scientific Computing, CASC 2026, held in Bath, UK, during August 31–September 4, 2026. The 21 full papers included in this book were carefully reviewed and selected from 28 submissions. The CASC workshop series has been running for over two decades to explore the interaction of Computer Algebra Systems and the underlying algorithms for Symbolic Computation, as well as their implementation, and their application. .Lecture Notes in Computer Science,1611-3349 ;16844Artificial intelligenceComputer scienceMathematicsComputer networksAlgorithmsArtificial IntelligenceMathematics of ComputingComputer Communication NetworksDesign and Analysis of AlgorithmsArtificial intelligence.Computer scienceMathematics.Computer networks.Algorithms.Artificial Intelligence.Mathematics of Computing.Computer Communication Networks.Design and Analysis of Algorithms.006.3Boulier François954481MiAaPQMiAaPQMiAaPQ9911127945803321Computer algebra in scientific computing2158879UNINA