Symbolic Computation

Authors and titles for recent submissions

[ total of 9 entries: 1-9 ]
[ showing up to 25 entries per page: fewer | more ]

[1] arXiv:2602.03592 [pdf, ps, other]: Title: Complete Reduction for Derivatives in a Transcendental Liouvillian Extension

Authors: Shaoshi Chen, Hao Du, Yiman Gao, Hui huang, Wenqiao Li, Ziming Li

Comments: 42pages

Subjects: Symbolic Computation (cs.SC)
[2] arXiv:2602.03289 [pdf, ps, other]: Title: On the Summability Problem of Multivariate Rational Functions in the Mixed Case

Authors: Shaoshi Chen, Lixin Du, Hanqian Fang, Yisen Wang

Subjects: Symbolic Computation (cs.SC)
[3] arXiv:2602.02972 [pdf, ps, other]: Title: Learning Fast Monomial Orders for Gröbner Basis Computations

Authors: R. Caleb Bunch, Alperen A. Ergür, Melika Golestani, Jessie Tong, Malia Walewski, Yunus E. Zeytuncu

Subjects: Symbolic Computation (cs.SC); Machine Learning (cs.LG); Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
[4] arXiv:2602.00280 (cross-list from math.AG) [pdf, ps, other]: Title: An algorithm for annihilator and Bernstein-Sato polynomial of a rational function

Authors: Manuel González-Villa, Edwin León-Cardenal, Viktor Levandovskyy, Jorge Martín-Morales

Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC)

[5] arXiv:2602.01188 [pdf, ps, other]: Title: A zero-test for D-algebraic transseries

Authors: Shaoshi Chen, Hanqian Fang, Joris van der Hoeven

Subjects: Symbolic Computation (cs.SC)

[6] arXiv:2601.23169 (cross-list from cs.LG) [pdf, ps, other]: Title: Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning

Authors: İlker Işık, Wenchao Li

Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[7] arXiv:2601.23073 (cross-list from cs.CG) [pdf, ps, other]: Title: Computing braids from approximate data

Authors: Alexandre Guillemot, Pierre Lairez

Subjects: Computational Geometry (cs.CG); Symbolic Computation (cs.SC)

[8] arXiv:2601.19982 (cross-list from hep-ph) [pdf, ps, other]: Title: FORM Version 5.0

Authors: J. Davies, T. Kaneko, C. Marinissen, T. Ueda, J.A.M. Vermaseren

Comments: 22 pages

Subjects: High Energy Physics - Phenomenology (hep-ph); Symbolic Computation (cs.SC); High Energy Physics - Theory (hep-th)

[9] arXiv:2601.17422 [pdf, ps, other]: Title: Faster modular composition using two relation matrices

Authors: Vincent Neiger, Bruno Salvy, Éric Schost, Gilles Villard

Comments: 10 pages (2 column format)

Subjects: Symbolic Computation (cs.SC)

[ total of 9 entries: 1-9 ]
[ showing up to 25 entries per page: fewer | more ]