Buch, Englisch, 438 Seiten, Format (B × H): 155 mm x 235 mm
28th International Workshop, CASC 2026, Bath, UK, August 31 – September 4, 2026, Proceedings
Buch, Englisch, 438 Seiten, Format (B × H): 155 mm x 235 mm
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-032-34585-1
Verlag: Springer
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
.- 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.
