Skip to content

Computer Algebra in Scientific Computing

CASC

B

CORE rank

CORE rank (raw)

B

Fields of research

Theory of Computation

Papers indexed

685

1999–2026

Papers per year

199941 peak2026

CASC papers

685 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2026A Compensated Estrin Scheme for Accurate Polynomial Evaluation.Guangping Yu, Stef Graillat, Hao Jiang, Chun Huang, Tao Tang
2026Look Before You Leap: Checking In on Type Tag Checking.Stephen M. Watt
2026Letting Homogeneity Entropy Select S-Pairs in Buchberger's Algorithm.Uzma Shafiq, Matthew England, AmirHosein Sadeghimanesh, Nayyar Zaidi
2026A Survey on Symbolic Summation in Difference Rings.Carsten Schneider
2026A Note on the Unit-Root Formula for Montgomery Curves.Ryo Negishi
2026Testing Tameness of Complex Polynomial Mappings and Computing Their Bifurcation Sets.Katsusuke Nabeshima, Shinichi Tajima
2026GCDHEU Revisited: Correctness in Multivariate Case and Degree-Aware Variable Ordering.Ryusei Matsubayashi, Kosaku Nagasaka
2026On GPU Implementation for Multi-precision Integer Division.Martin Bom Marchioro, Aske Nord Raahauge, Marc I. Lvenskjold, Cosmin E. Oancea, Stephen M. Watt
2026A Parametric Differential System Admitting an Integral Input-Output Equation with a Fraction.Franois Lemaire, Louis Roussel
2026Symbolic-Numerical Algorithms for Solving Boundary Value Problems by Finite Element Method on Hyperellipsoids.Oleg O. Kovalev, Alexander A. Gusev, Luong Le Hai, Vladimir L. Derbov, Sergue I. Vinitsky, Peiwei Wen
2026Inverse Kinematics for a 7-Degree-of-Freedom Robot Manipulator Using Comprehensive Grbner Systems.Rikita Komatsuzaki, Akira Terui, Masahiko Mikawa
2026On the Computation of Extended Convex Hulls.Rui-Juan Jing, Yuzhuo Lei, Marc Moreno Maza, Chirantan Mukherjee
2026Short SLPs for Sparse Polynomial Maps.Joris van der Hoeven, Grgoire Lecerf, Arnaud Minondo
2026On Factoring Quantum-Plane Skew Polynomials Over $\mathbb {Q}(\omega )(t)$.Mark Giesbrecht
2026Computing Smith Forms Modulo pMark Giesbrecht
2026Involutions on Skew Polynomial Rings.Qiwei Feng, Yang Zhang
2026Pseudo-complex Quantifier Elimination.Nicolas Faro, Thomas Sturm
2026Application of the NORT Computer Algebra Package for Reducing Dynamical Systems of ODEs to the Normal Form.Victor F. Edneral
2026On Sub-Algorithm Selection for Symbolic Integration: An Empirical Comparison of TreeLSTM and Transformer.Hao Du, Haochen Liu
2026Accelerating the Factorization of Multilinear Boolean Polynomials.Tian Chen, Michael B. Monagan
2026Computer Generation of Explicit Formulas for Hyperelliptic Curve Divisor Arithmetic.Amir Abbas Asgari, Haiyang He, Michael J. Jacobson Jr., Renate Scheidler
2025Hankel Polynomials and Their Zeros.Alexei Uteshev, Elizaveta Kalinina, Marina V. Goncharova
2025Subresultant of Bernstein Polynomials and Its Application in Computing the Parametric Greatest Common Divisor.Mei Tan, Jing Yang
2025Parallel Computation of the Power Series Solutions to Linear Ordinary Differential Equations.Greg Alejandro Solis-Reyes, Marc Moreno Maza, Alexander Brandt
2025Choosing Variable Orderings Based on Elimination Tree for Sparse Triangular Decomposition.Zhaoxing Qi, Linpeng Wang

Comparable venues

Other A*/A conferences filed under the same field of research.