| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9911127945803321 |
|
|
Autore |
Boulier François |
|
|
Titolo |
Computer 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 Uncu |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2027 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2027.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (819 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 16844 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Computer science - Mathematics |
Computer networks |
Algorithms |
Artificial Intelligence |
Mathematics of Computing |
Computer Communication Networks |
Design and Analysis of Algorithms |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
-- 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. |
|
|
|
|
|
|
Sommario/riassunto |
|
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. . |
|
|
|
|
|
|
|
| |