Symbolic Computation

Authors and titles for June 2025

[1] arXiv:2506.01864 [pdf, html, other]

Title: Software Portability for Computer Algebra

Arthur C. Norman, Stephen M. Watt

Subjects: Symbolic Computation (cs.SC)

[2] arXiv:2506.04436 [pdf, html, other]

Title: Beyond Worst-Case Analysis for Symbolic Computation: Root Isolation Algorithms

Alperen A. Ergür, Josué Tonelli-Cueto, Elias Tsigaridas

Comments: 27 pages. Extended journal-version of arXiv:2202.06428

Subjects: Symbolic Computation (cs.SC); Computational Complexity (cs.CC); Algebraic Geometry (math.AG); Probability (math.PR)

[3] arXiv:2506.08767 [pdf, html, other]

Title: Telescoping Algorithms for $Σ^*$-Extensions via Complete Reductions

Shaoshi Chen, Yiman Gao, Hui Huang, Carsten Schneider

Subjects: Symbolic Computation (cs.SC)

[4] arXiv:2506.08824 [pdf, html, other]

Title: Support bound for differential elimination in polynomial dynamical systems

Yulia Mukhina, Gleb Pogudin

Subjects: Symbolic Computation (cs.SC); Algebraic Geometry (math.AG); Classical Analysis and ODEs (math.CA)

[5] arXiv:2506.09529 [pdf, html, other]

Title: Gradient-Weighted, Data-Driven Normalization for Approximate Border Bases -- Concept and Computation

Hiroshi Kera, Achim Kehrein

Comments: 39 pages, 3 figures, 2 tables. Extended version of "Border basis computation with gradient-weighted normalization" from ISSAC'22

Subjects: Symbolic Computation (cs.SC); Commutative Algebra (math.AC)

[6] arXiv:2506.13242 [pdf, other]

Title: A non-commutative algorithm for multiplying 4x4 matrices using 48 non-complex multiplications

Jean-Guillaume Dumas (UGA, LJK, CASC), Clément Pernet (CASC, LJK, UGA), Alexandre Sedoglavic (CRIStAL)

Subjects: Symbolic Computation (cs.SC)

[7] arXiv:2506.00266 (cross-list from math.NT) [pdf, html, other]

Title: Determining unit groups and $\mathrm{K}_1$ of finite rings

Tommy Hofmann

Subjects: Number Theory (math.NT); Symbolic Computation (cs.SC); K-Theory and Homology (math.KT); Rings and Algebras (math.RA)

[8] arXiv:2506.01087 (cross-list from cs.AI) [pdf, html, other]

Title: Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks

Bertram Ludäscher, Yilin Xia, Shawn Bowers

Comments: International Workshop on the Theory and Practice of Provenance (TaPP) and ProvenanceWeek'25 @SIGMOD, June 27, 2025. Berlin, Germany

Subjects: Artificial Intelligence (cs.AI); Symbolic Computation (cs.SC)

[9] arXiv:2506.05219 (cross-list from cs.LO) [pdf, other]

Title: Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications

Cynthia Kop (Radboud Universiteit Nijmegen), Helida Salles Santos (Universidade Federal do Rio Grande)

Journal-ref: EPTCS 421, 2025

Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[10] arXiv:2506.05835 (cross-list from cs.LO) [pdf, other]

Title: Nominal Equational Rewriting and Narrowing

Mauricio Ayala-Rincón (University of Brasília, Brazil), Maribel Fernández (King's College London, UK), Daniele Nantes-Sobrinho (University of Brasília, Brazil and Imperial College London, UK), Daniella Santaguida (University of Brasília, Brazil)

Comments: In Proceedings LSFA 2024, arXiv:2506.05219. arXiv admin note: substantial text overlap with arXiv:2505.14895

Journal-ref: EPTCS 421, 2025, pp. 80-97

Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[11] arXiv:2506.07751 (cross-list from cs.CL) [pdf, html, other]

Title: AbstRaL: Augmenting LLMs' Reasoning by Reinforcing Abstract Thinking

Silin Gao, Antoine Bosselut, Samy Bengio, Emmanuel Abbe

Comments: Under review

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Symbolic Computation (cs.SC)

[12] arXiv:2506.08600 (cross-list from cs.LG) [pdf, html, other]

Title: CALT: A Library for Computer Algebra with Transformer

Hiroshi Kera, Shun Arakawa, Yuta Sato

Comments: ISSAC 2025 Short Communications

Subjects: Machine Learning (cs.LG); Symbolic Computation (cs.SC); Commutative Algebra (math.AC)

[13] arXiv:2506.09950 (cross-list from cs.CR) [pdf, html, other]

Title: Oracle-Based Multistep Strategy for Solving Polynomial Systems Over Finite Fields and Algebraic Cryptanalysis of the Aradi Cipher

La Scala Roberto, Sharwan Kumar Tiwari

Comments: 19 pages

Subjects: Cryptography and Security (cs.CR); Symbolic Computation (cs.SC); Commutative Algebra (math.AC)

[14] arXiv:2506.10585 (cross-list from cs.AI) [pdf, other]

Title: Primender Sequence: A Novel Mathematical Construct for Testing Symbolic Inference and AI Reasoning

Mohd Anwar Jamal Faiz

Comments: 9 pages, 7 figures, 2 tables, 3 codes, oeis sequence A384735

Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Symbolic Computation (cs.SC)

[15] arXiv:2506.10686 (cross-list from cs.RO) [pdf, html, other]

Title: An $O(n$)-Algorithm for the Higher-Order Kinematics and Inverse Dynamics of Serial Manipulators using Spatial Representation of Twists

Andreas Mueller

Journal-ref: IEEE ROBOTICS AND AUTOMATION LETTERS, VOL. 6, NO. 2, APRIL 2021

Subjects: Robotics (cs.RO); Symbolic Computation (cs.SC); Group Theory (math.GR); Optimization and Control (math.OC); Classical Physics (physics.class-ph)

[16] arXiv:2506.13217 (cross-list from cs.LG) [pdf, html, other]

Title: Polyra Swarms: A Shape-Based Approach to Machine Learning

Simon Klüttermann, Emmanuel Müller

Comments: Currently under review

Subjects: Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Symbolic Computation (cs.SC)