Symbolic Computation

Authors and titles for June 2023

[1] arXiv:2306.00882 [pdf, other]

Title: Some New Non-Commutative Matrix Multiplication Algorithms of Size $(n,m,6)$

Manuel Kauers, Jakob Moosbauer

Comments: 9 pages

Subjects: Symbolic Computation (cs.SC)

[2] arXiv:2306.03855 [pdf, other]

Title: Faster real root decision algorithm for symmetric polynomials

George Labahn, Cordian Riener, Mohab Safey El Din, Éric Schost, Thi Xuan Vu

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

[3] arXiv:2306.04271 [pdf, other]

Title: On Isolating Roots in a Multiple Field Extension

Christina Katsamaki (SU, OURAGAN), Fabrice Rouillier (SU, OURAGAN)

Subjects: Symbolic Computation (cs.SC)

[4] arXiv:2306.05930 [pdf, other]

Title: Positivity certificates for linear recurrences

Alaa Ibrahim, Bruno Salvy

Comments: 18 pages. To appear in Proceedings SODA'24

Journal-ref: Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2024

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

[5] arXiv:2306.15572 [pdf, other]

Title: Generating Elementary Integrable Expressions

Rashid Barket, Matthew England, Jürgen Gerhard

Comments: To appear in proceedings of CASC 2023. This version of the contribution has been accepted for publication, after peer review but is not the Version of Record and does not reflect post-acceptance improvements, or any corrections

Journal-ref: In: F. Boulier, M. England, T.M. Sadykov, and E.V. Vorozhtsov, eds. Computer Algebra in Scientific Computing (Proc. CASC '23), pp. 21-38. (Lecture Notes in Computer Science, vol 14139). Springer International, 2023

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

[6] arXiv:2306.16757 [pdf, other]

Title: Exploiting Strict Constraints in the Cylindrical Algebraic Covering

Philipp Bär, Jasper Nalbach, Erika Ábrahám, Christopher W. Brown

Subjects: Symbolic Computation (cs.SC)

[7] arXiv:2306.00153 (cross-list from cs.LG) [pdf, other]

Title: Information Fusion via Symbolic Regression: A Tutorial in the Context of Human Health

Jennifer J. Schnur, Nitesh V. Chawla

Journal-ref: Information Fusion (2022)

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

[8] arXiv:2306.01439 (cross-list from cs.LG) [pdf, other]

Title: Interpretable and Explainable Logical Policies via Neurally Guided Symbolic Abstraction

Quentin Delfosse, Hikaru Shindo, Devendra Dhami, Kristian Kersting

Comments: 9 main pages + appendix (19 in total)

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

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

Title: Towards Efficient Controller Synthesis Techniques for Logical LTL Games

Stanly Samuel, Deepak D'Souza, Raghavan Komondoor

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Symbolic Computation (cs.SC); Systems and Control (eess.SY)

[10] arXiv:2306.02640 (cross-list from math.NT) [pdf, other]

Title: A sharper multivariate Christol's theorem with applications to diagonals and Hadamard products

Boris Adamczewski, Alin Bostan, Xavier Caruso

Comments: 32 pages

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

[11] arXiv:2306.05263 (cross-list from math.AG) [pdf, other]

Title: Effective homology and periods of complex projective hypersurfaces

Pierre Lairez, Eric Pichon-Pharabod, Pierre Vanhove

Comments: 38 pages

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

[12] arXiv:2306.07072 (cross-list from stat.AP) [pdf, html, other]

Title: Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments

Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovič, Ezio Bartocci, Efstathia Bura

Comments: Published in ACM Transactions on Modeling and Computer Simulation (TOMACS). Extended version of the conference paper 'Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments' published at QEST 2022 (Best paper award, see also the preprint arxiv.org/abs/2205.02577). arXiv admin note: substantial text overlap with arXiv:2205.02577

Subjects: Applications (stat.AP); Symbolic Computation (cs.SC); Numerical Analysis (math.NA); Statistics Theory (math.ST)

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

Title: Existence and Construction of a Gr\"obner Basis for a Polynomial Ideal

Deepak Kapur, Paliath Narendran

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

[14] arXiv:2306.12268 (cross-list from math.NA) [pdf, other]

Title: A Finite Expression Method for Solving High-Dimensional Committor Problems

Zezheng Song, Maria K. Cameron, Haizhao Yang

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

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

Title: From Word Models to World Models: Translating from Natural Language to the Probabilistic Language of Thought

Lionel Wong, Gabriel Grand, Alexander K. Lew, Noah D. Goodman, Vikash K. Mansinghka, Jacob Andreas, Joshua B. Tenenbaum

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

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

Title: PhD Thesis: Exploring the role of (self-)attention in cognitive and computer vision architecture

Mohit Vaishnav

Comments: PhD Thesis, 152 pages, 32 figures, 6 tables

Subjects: Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Symbolic Computation (cs.SC)

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

Title: Frex: dependently-typed algebraic simplification

Guillaume Allais, Edwin Brady, Nathan Corbyn, Ohad Kammar, Jeremy Yallop

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