Symbolic Computation

Authors and titles for October 2025

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

Title: Symmetric Division of Linear Ordinary Differential Operators

Lixin Du, Manuel Kauers

Subjects: Symbolic Computation (cs.SC)

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

Title: A Novel Algorithm for Representing Positive Semi-Definite Polynomials as Sums of Squares with Rational Coefficients

Zhenbing Zeng, Yong Huang, Lu Yang, Yongsheng Rao

Comments: 37 pages

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

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

Title: Deducing Closed-Form Expressions for Bright-Solitons in Strongly Magnetized Plasmas with Physics Informed Symbolic Regression (PISR)

Edward Finkelstein

Comments: 16 pages, 2 figures, 1 table, 7 sections, 53 referenced works

Subjects: Symbolic Computation (cs.SC)

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

Title: An Exact Algorithm for Computing the Structure of Jordan Blocks

Shinichi Tajima, Katsuyoshi Ohara, Akira Terui

Comments: 19 pages

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

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

Title: A note on a paper by Hashemi and Kapur

Anna Nymann Heisel, Niels Lauritzen

Comments: Comment on this https URL

Subjects: Symbolic Computation (cs.SC)

[6] arXiv:2510.13456 [pdf, html, other]

Title: Complete Reduction for Derivatives in a Primitive Tower

Hao Du, Yiman Gao, Wenqiao Li, Ziming Li

Comments: 10 pages

Subjects: Symbolic Computation (cs.SC)

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

Title: An Effective Version of the $p$-Curvature Conjecture for Order One Differential Equations

Florian Fürnsinn, Lucas Pannier

Comments: 30 pages

Subjects: Number Theory (math.NT); Symbolic Computation (cs.SC)

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

Title: Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning

Yilun Hao, Yongchao Chen, Chuchu Fan, Yang Zhang

Comments: 30 pages, 5 figures, 5 tables

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

[9] arXiv:2510.05104 (cross-list from math.AC) [pdf, html, other]

Title: Comprehensive Restriction Algorithm for Hypergeometric Systems

Hiromasa Nakayama, Nobuki Takayama

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

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

Title: Logistic-Gated Operators Enable Auditable Unit-Aware Thresholds in Symbolic Regression

Ou Deng, Ruichen Cong, Jianting Xu, Shoji Nishimura, Atsushi Ogihara, Qun Jin

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

[11] arXiv:2510.05863 (cross-list from math-ph) [pdf, html, other]

Title: Analog and Symbolic Computation through the Koopman Framework

Francesco Caravelli, Jean-Charles Delvenne

Comments: 13 pages double column; two figures

Subjects: Mathematical Physics (math-ph); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC); Cellular Automata and Lattice Gases (nlin.CG)

[12] arXiv:2510.08336 (cross-list from math.RT) [pdf, other]

Title: Computing moment polytopes -- with a focus on tensors, entanglement and matrix multiplication

Maxim van den Berg, Matthias Christandl, Vladimir Lysikov, Harold Nieuwboer, Michael Walter, Jeroen Zuiddam

Subjects: Representation Theory (math.RT); Computational Complexity (cs.CC); Symbolic Computation (cs.SC); Algebraic Geometry (math.AG); Quantum Physics (quant-ph)

[13] arXiv:2510.10718 (cross-list from eess.SP) [pdf, html, other]

Title: HYPERDOA: Robust and Efficient DoA Estimation using Hyperdimensional Computing

Rajat Bhattacharjya, Woohyeok Park, Arnab Sarkar, Hyunwoo Oh, Mohsen Imani, Nikil Dutt

Comments: 3 figures, 5 pages. Authors' version posted for personal use and not for redistribution

Subjects: Signal Processing (eess.SP); Artificial Intelligence (cs.AI); Hardware Architecture (cs.AR); Symbolic Computation (cs.SC)

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

Title: DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems

Meiru Zhang, Philipp Borchert, Milan Gritta, Gerasimos Lampouras

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

[15] arXiv:2510.11212 (cross-list from math.AC) [pdf, other]

Title: Gröbner Bases Native to Term-ordered Commutative Algebras, with Application to the Hodge Algebra of Minors

Joshua A. Grochow, Abhiram Natarajan

Comments: 107 pages, 0 figures

Subjects: Commutative Algebra (math.AC); Symbolic Computation (cs.SC); Algebraic Geometry (math.AG); Rings and Algebras (math.RA)

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

Title: Ontolearn-A Framework for Large-scale OWL Class Expression Learning in Python

Caglar Demir, Alkid Baci, N'Dah Jean Kouagou, Leonie Nora Sieger, Stefan Heindorf, Simon Bin, Lukas Blübaum, Alexander Bigerl, Axel-Cyrille Ngonga Ngomo

Journal-ref: Journal of Machine Learning Research 26 (2025) 1-6

Subjects: Machine Learning (cs.LG); Symbolic Computation (cs.SC)

[17] arXiv:2510.13049 (cross-list from cs.CC) [pdf, html, other]

Title: Recent Advances in Debordering Methods

Pranjal Dutta, Vladimir Lysikov

Comments: 54 pages; The preprint is an invited survey (by the editors), under review for Texts & Monographs in Symbolic Computation (TMSC), special issue on RTCA'23 (Paris)

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

[18] arXiv:2510.13168 (cross-list from cs.GR) [pdf, html, other]

Title: MiGumi: Making Tightly Coupled Integral Joints Millable

Aditya Ganeshan, Kurt Fleischer, Wenzel Jakob, Ariel Shamir, Daniel Ritchie, Takeo Igarashi, Maria Larsson

Comments: SIGGRAPH Asia/TOG 2025; project page: this https URL

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