Abstract is missing.
- A Survey on Symbolic Summation in Difference RingsCarsten Schneider. 1-32 [doi]
- Computer Generation of Explicit Formulas for Hyperelliptic Curve Divisor ArithmeticAmir Abbas Asgari, Haiyang He, Michael J. Jacobson Jr., Renate Scheidler. 33-53 [doi]
- Accelerating the Factorization of Multilinear Boolean PolynomialsTian Chen, Michael B. Monagan. 54-74 [doi]
- On Sub-Algorithm Selection for Symbolic Integration: An Empirical Comparison of TreeLSTM and TransformerHao Du 0001, Haochen Liu. 75-92 [doi]
- Application of the NORT Computer Algebra Package for Reducing Dynamical Systems of ODEs to the Normal FormVictor F. Edneral. 93-111 [doi]
- Pseudo-complex Quantifier EliminationNicolas Faroß, Thomas Sturm 0001. 112-132 [doi]
- Involutions on Skew Polynomial RingsQiwei Feng, Yang Zhang 0045. 133-147 [doi]
- 2 of Sparse Matrices Faster Than Matrix MultiplicationMark Giesbrecht. 148-167 [doi]
- On Factoring Quantum-Plane Skew Polynomials Over $\mathbb {Q}(\omega )(t)$Mark Giesbrecht. 168-188 [doi]
- On the Computation of Extended Convex HullsRui-Juan Jing, Yuzhuo Lei, Marc Moreno Maza, Chirantan Mukherjee. 189-209 [doi]
- Inverse Kinematics for a 7-Degree-of-Freedom Robot Manipulator Using Comprehensive Gröbner SystemsRikita Komatsuzaki, Akira Terui, Masahiko Mikawa. 210-233 [doi]
- Symbolic-Numerical Algorithms for Solving Boundary Value Problems by Finite Element Method on HyperellipsoidsOleg O. Kovalev, Alexander A. Gusev 0001, Luong Le Hai, Vladimir L. Derbov, Sergue I. Vinitsky, Peiwei Wen. 234-256 [doi]
- A Parametric Differential System Admitting an Integral Input-Output Equation with a FractionFrançois Lemaire, Louis Roussel. 257-274 [doi]
- On GPU Implementation for Multi-precision Integer DivisionMartin Bom Marchioro, Aske Nord Raahauge, Marc I. Løvenskjold, Cosmin E. Oancea, Stephen M. Watt. 275-296 [doi]
- GCDHEU Revisited: Correctness in Multivariate Case and Degree-Aware Variable OrderingRyusei Matsubayashi, Kosaku Nagasaka. 297-316 [doi]
- Testing Tameness of Complex Polynomial Mappings and Computing Their Bifurcation SetsKatsusuke Nabeshima, Shinichi Tajima. 317-336 [doi]
- A Note on the Unit-Root Formula for Montgomery CurvesRyo Negishi. 337-354 [doi]
- Letting Homogeneity Entropy Select S-Pairs in Buchberger's AlgorithmUzma Shafiq, Matthew England 0001, AmirHosein Sadeghimanesh, Nayyar Zaidi. 355-374 [doi]
- Short SLPs for Sparse Polynomial MapsJoris van der Hoeven, Grégoire Lecerf, Arnaud Minondo. 375-393 [doi]
- Look Before You Leap: Checking In on Type Tag CheckingStephen M. Watt. 394-415 [doi]
- A Compensated Estrin Scheme for Accurate Polynomial EvaluationGuangping Yu, Stef Graillat, Hao Jiang 0001, Chun Huang 0006, Tao Tang 0001. 416-435 [doi]