CASC B

23 papers

YearTitle / Authors
2026Computer Algebra in Scientific Computing - 27th International Workshop, CASC 2025, Dubai, United Arab Emirates, November 24-28, 2025, Proceedings
François Boulier, Chenqi Mou, Timur M. Sadykov, Evgenii V. Vorozhtsov
2025A Failure Probability Analysis of a Modular Algorithm to Compute the Monic GCD of Multivariate Polynomials over Algebraic Number Fields ${\mathbb {Q}(\alpha _1,\ldots ,\alpha _n)}$.
Mahsa Ansari, Michael B. Monagan
2025A Hybrid Approach to Speeding up Schoof's Algorithm on Supersingular Elliptic Curves.
Kazuki Komine, Akira Katayama, Masaya Yasuda
2025A New Black Box GCD Algorithm Using Hensel Lifting.
Michael B. Monagan, Garrett Paluck
2025Advanced Symbolic Integration of Products of the Fox H-Functions.
Paco Jain, Oleg Marichev, Timur Sadykov, Elina Shishkina
2025An Effective Trajectory Planning and an Optimized Path Planning for a 6-Degree-of-Freedom Robot Manipulator.
Takumu Okazaki, Akira Terui, Masahiko Mikawa
2025Choosing Variable Orderings Based on Elimination Tree for Sparse Triangular Decomposition.
Zhaoxing Qi, Linpeng Wang
2025Computation of Stirling Numbers for Complex Arguments.
Robert M. Corless, David J. Jeffrey, Qingze Li
2025Computing Linear Regions in Neural Networks with Skip Connections.
Johnny Joyce, Jan Verschelde
2025Effective Hilbert's Irreducibility Theorem for Primary Ideals.
Yuki Ishihara, Kazuhiro Yokoyama
2025Hankel Polynomials and Their Zeros.
Alexei Uteshev, Elizaveta Kalinina, Marina V. Goncharova
2025Inverse Kinematics for a 6-Degree-of-Freedom Robot Manipulator Using Comprehensive Gröbner Systems.
Takumu Okazaki, Akira Terui, Masahiko Mikawa
2025Lower Bounds of Costs of 3-Isogenies Formulas in the Framework of Generalized Montgomery Coordinates.
Tomoki Moriya, Hiroshi Onuki, Yusuke Aikawa, Tsuyoshi Takagi
2025On Stationary Motions in the Generalized Problem of the Chaplygin Ball.
Valentin Irtegov, Tatiana Titorenko
2025Ordered Fields and Grzegorczyk's Hierarchy.
Leonid Chilikov, Victor Selivanov
2025Parallel Computation of the Power Series Solutions to Linear Ordinary Differential Equations.
Greg Alejandro Solis-Reyes, Marc Moreno Maza, Alexander Brandt
2025Projective Plane Subdivision Method for Initial Orbit Determination.
Ruiqi Huang, Anton Leykin, Michela Mancini
2025Second-Order Parameterizations for the Complexity Theory of Integrable Functions.
Aras Bacho, Martin Ziegler
2025Software Portability for Computer Algebra.
Arthur C. Norman, Stephen M. Watt
2025Subresultant of Bernstein Polynomials and Its Application in Computing the Parametric Greatest Common Divisor.
Mei Tan, Jing Yang
2025Support Bound for Differential Elimination in Polynomial Dynamical Systems.
Yulia Mukhina, Gleb Pogudin
2025Symbolic-Numerical Algorithms for Solving Multidimensional Boundary Value Problems by Finite Element Method on Hypercubes.
Oleg O. Kovalev, Balt Batgerel, Alexander Gusev, Luong Le Hai, Vladimir Derbov, Ochbadrakh Chuluunbaatar, Sergue I. Vinitsky, Peiwei Wen
2025f4ncgb: High Performance Gröbner Basis Computations in Free Algebras.
Maximilian Heisinger, Clemens Hofstadler