Symbolic Computation

Authors and titles for April 2024

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

Title: On the Algorithmic Recovering of Coefficients in Linearizable Differential Equations

Dmitry A. Lyakhov, Dominik L. Michels

Comments: 8 pages

Subjects: Symbolic Computation (cs.SC); Group Theory (math.GR); Rings and Algebras (math.RA)

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

Title: Power Series Composition in Near-Linear Time

Yasunori Kinoshita, Baitian Li

Comments: 12 pages, in FOCS 2024

Subjects: Symbolic Computation (cs.SC)

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

Title: Connectivity in Symmetric Semi-Algebraic Sets

Cordian Riener, Robin Schabert, Thi Xuan Vu

Subjects: Symbolic Computation (cs.SC)

[4] arXiv:2404.10143 [pdf, other]

Title: Computing with Hypergeometric-Type Terms

Bertrand Teguia Tabuguia

Comments: Mainly correcting a miscopy of the explicit formula that the code outputs for the sequence at this https URL (see equation (3)). This is the version considered for ISSAC'24 software presentation

Subjects: Symbolic Computation (cs.SC); Discrete Mathematics (cs.DM); Mathematical Software (cs.MS)

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

Title: Reduction systems and degree bounds for integration

Hao Du, Clemens G. Raab

Comments: 45 pages; accepted manuscript

Journal-ref: Journal of Symbolic Computation 130 (2025), Article 102432

Subjects: Symbolic Computation (cs.SC)

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

Title: Reconciling Explanations in Multi-Model Systems through Probabilistic Argumentation

Shengxin Hong, Xiuyi Fan

Subjects: Symbolic Computation (cs.SC)

[7] arXiv:2404.17508 [pdf, html, other]

Title: Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems

Dorian Florescu, Matthew England

Comments: Accepted for presentation at ICMS 2024

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

[8] arXiv:2404.18117 [pdf, html, other]

Title: A Basis-preserving Algorithm for Computing the Bezout Matrix of Newton Polynomials

Jing Yang, Wei Yang

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

[9] arXiv:2404.19136 [pdf, other]

Title: On Rational Recursion for Holonomic Sequences

Bertrand Teguia Tabuguia, James Worrell

Comments: 12 pages. To appear in the Proceedings of CASC'24

Subjects: Symbolic Computation (cs.SC); Formal Languages and Automata Theory (cs.FL); Commutative Algebra (math.AC); Dynamical Systems (math.DS)

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

Title: A Neuro-Symbolic Approach to Monitoring Salt Content in Food

Anuja Tayal, Barbara Di Eugenio, Devika Salunke, Andrew D. Boyd, Carolyn A Dickens, Eulalia P Abril, Olga Garcia-Bedoya, Paula G Allen-Meares

Comments: Accepted in CL4Health workshop in LREC-COLING'24

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

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

Title: The solving degrees for computing Gröbner bases of affine semi-regular polynomial sequences

Momonari Kudo, Kazuhiro Yokoyama

Comments: 41 pages, Revised version (for example, we have added issues on complexity analysis and a generalization of contents of Subsection 2.3, see also Appendix A.3 - A.5), Accepted for presentation at Effective Methods in Algebraic Geometry (MEGA2024)

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

[12] arXiv:2404.05457 (cross-list from cs.PL) [pdf, other]

Title: WebPie: A Tiny Slice of Dependent Typing

Christophe Scholliers (Ghent University)

Comments: In Proceedings ThEdu'23, arXiv:2404.03709

Journal-ref: EPTCS 400, 2024, pp. 2-27

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

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

Title: Study of Emotion Concept Formation by Integrating Vision, Physiology, and Word Information using Multilayered Multimodal Latent Dirichlet Allocation

Kazuki Tsurumaki, Chie Hieida, Kazuki Miyazawa

Comments: This work has been submitted to the IEEE for possible publication. We would like to thank Professor Takayuki Nagai for useful discussions

Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Machine Learning (cs.LG); Robotics (cs.RO); Symbolic Computation (cs.SC)

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

Title: A Complexity Map of Probabilistic Reasoning for Neurosymbolic Classification Techniques

Arthur Ledaguenel, Céline Hudelot, Mostepha Khouadjia

Comments: 36 pages, 10 figures

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

[15] arXiv:2404.08751 (cross-list from cs.PL) [pdf, other]

Title: Performant Dynamically Typed E-Graphs in Pure Julia

Alessandro Cheli, Niklas Heim

Comments: 8 pages, 5 figures, submission for 2024 PLDI e-graph workshop

Subjects: Programming Languages (cs.PL); Symbolic Computation (cs.SC)

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

Title: Primary Decomposition of Symmetric Ideals

Yuki Ishihara

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

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

Title: Constant-Depth Arithmetic Circuits for Linear Algebra Problems

Robert Andrews, Avi Wigderson

Subjects: Computational Complexity (cs.CC); Symbolic Computation (cs.SC)

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

Title: Towards a Research Community in Interpretable Reinforcement Learning: the InterpPol Workshop

Hector Kohler, Quentin Delfosse, Paul Festor, Philippe Preux

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

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

Title: Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis

Temur Kutsia (RISC, Johannes Kepler University Linz), Daniel Ventura (INF, Universidade Federal de Goiás), David Monniaux (CNRS - Verimag), José F. Morales (IMDEA)

Journal-ref: EPTCS 402, 2024

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Symbolic Computation (cs.SC); Software Engineering (cs.SE)

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

Title: Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs

Rashid Barket, Matthew England, Jürgen Gerhard

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

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

Title: Evolutionary Causal Discovery with Relative Impact Stratification for Interpretable Data Analysis

Ou Deng, Shoji Nishimura, Atsushi Ogihara, Qun Jin

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