Symbolic Computation

Authors and titles for February 2024

[1] arXiv:2402.03111 [pdf, other]

Title: Computing roadmaps in unbounded smooth real algebraic sets II: algorithm and complexity

Rémi Prébet, Mohab Safey El Din, Éric Schost

Comments: 60 pages

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

[2] arXiv:2402.03144 [pdf, other]

Title: Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting

Jérémy Berthomieu, Rafael Mohr

Journal-ref: 49th International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh, NC, United States. pp.307-315

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

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

Title: Factorial Basis Method for q-Series Applications

Antonio Jiménez-Pastor, Ali Kemal Uncu

Comments: 9 double-column pages

Subjects: Symbolic Computation (cs.SC); Combinatorics (math.CO)

[4] arXiv:2402.05238 [pdf, other]

Title: Automated Data-Driven Discovery of Material Models Based on Symbolic Regression: A Case Study on Human Brain Cortex

Jixin Hou, Xianyan Chen, Taotao Wu, Ellen Kuhl, Xianqiao Wang

Comments: 53 pages, 17 figures, and 6 tables

Subjects: Symbolic Computation (cs.SC); Quantitative Methods (q-bio.QM); Tissues and Organs (q-bio.TO)

[5] arXiv:2402.07141 [pdf, other]

Title: Reading Rational Univariate Representations on lexicographic Groebner bases

Alexander Demin, Fabrice Rouillier, Joao Ruiz

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

[6] arXiv:2402.07328 [pdf, other]

Title: Computing discrete residues of rational functions

Carlos E. Arreche, Hari P. Sitaula

Comments: 20 pages; submitted manuscript (not yet accepted)

Journal-ref: Proceedings of ISSAC 2024 (2024), pp. 65-73

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

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

Title: Computing Krylov iterates in the time of matrix multiplication

Vincent Neiger, Clément Pernet, Gilles Villard

Comments: 10 pages, 5 algorithms

Subjects: Symbolic Computation (cs.SC)

[8] arXiv:2402.07353 [pdf, other]

Title: Optimized Gröbner basis algorithms for maximal determinantal ideals and critical point computations

Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El Din

Comments: 10 pages, 3 algorithms, 4 figures

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

[9] arXiv:2402.07782 [pdf, html, other]

Title: Solving parameter-dependent semi-algebraic systems

Louis Gaillard, Mohab Safey El Din

Comments: 10 pages

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

[10] arXiv:2402.10139 [pdf, html, other]

Title: Fast interpolation and multiplication of unbalanced polynomials

Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray, Daniel S. Roche

Journal-ref: ISSAC '24: Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, pp. 437--446

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

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

Title: SymbolicAI: A framework for logic-based approaches combining generative models and solvers

Marius-Constantin Dinu, Claudiu Leoveanu-Condrei, Markus Holzleitner, Werner Zellinger, Sepp Hochreiter

Comments: 46 pages, 13 figures, external resources: framework is available at this https URL and benchmark at this https URL

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

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

Title: SMLP: Symbolic Machine Learning Prover

Franz Brauße, Zurab Khasidashvili, Konstantin Korovin

Comments: 12 pages, 4 figures. (submitted)

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC); Optimization and Control (math.OC)

[13] arXiv:2402.04134 (cross-list from cs.CC) [pdf, other]

Title: A quasi-optimal lower bound for skew polynomial multiplication

Qiyuan Chen, Ke Ye

Subjects: Computational Complexity (cs.CC); Symbolic Computation (cs.SC); Rings and Algebras (math.RA)

[14] arXiv:2402.04241 (cross-list from q-bio.QM) [pdf, other]

Title: Algebraic identifiability of partial differential equation models

Helen Byrne, Heather Harrington, Alexey Ovchinnikov, Gleb Pogudin, Hamid Rahkooy, Pedro Soto

Subjects: Quantitative Methods (q-bio.QM); Symbolic Computation (cs.SC); Systems and Control (eess.SY); Analysis of PDEs (math.AP)

[15] arXiv:2402.04684 (cross-list from math.CO) [pdf, html, other]

Title: Parallel Summation in P-Recursive Extensions

Shaoshi Chen, Ruyong Feng, Manuel Kauers, Xiuyun Li

Subjects: Combinatorics (math.CO); Symbolic Computation (cs.SC)

[16] arXiv:2402.05579 (cross-list from math.OC) [pdf, other]

Title: Quantifier Elimination for Normal Cone Computations

Michael Mandlmayr, Ali Kemal Uncu

Comments: 15 pages, 2 figures

Subjects: Optimization and Control (math.OC); Symbolic Computation (cs.SC); Numerical Analysis (math.NA)

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

Title: Strassen's algorithm is not optimally accurate

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

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

[18] arXiv:2402.06057 (cross-list from math.AG) [pdf, html, other]

Title: Subalgebra and Khovanskii bases equivalence

Colin Alstad, Michael Burr, Oliver Clarke, Timothy Duff

Comments: 14 pages, 2 Figures

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

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

Title: Certified homotopy tracking using the Krawczyk method

Timothy Duff, Kisun Lee

Comments: 19 pages, 4 figures, 4 tables. Accepted for the Proceedings of ISSAC 2024

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

[20] arXiv:2402.07547 (cross-list from cs.MA) [pdf, other]

Title: Ensuring trustworthy and ethical behaviour in intelligent logical agents

Stefania Costantini

Journal-ref: Journal of Logic and Computation, Volume 32, Issue 2, March 2022, Pages 443-478

Subjects: Multiagent Systems (cs.MA); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[21] arXiv:2402.11915 (cross-list from cs.CC) [pdf, other]

Title: Optimal Pseudorandom Generators for Low-Degree Polynomials Over Moderately Large Fields

Ashish Dwivedi, Zeyu Guo, Ben Lee Volk

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

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

Title: Improving Neural-based Classification with Logical Background Knowledge

Arthur Ledaguenel, Céline Hudelot, Mostepha Khouadjia

Comments: 9 pages, 3 figures, submitted to IJCAI 2024

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

[23] arXiv:2402.15649 (cross-list from math.AG) [pdf, html, other]

Title: Some Lower Bounds on the Reach of an Algebraic Variety

Chris La Valle, Josué Tonelli-Cueto

Comments: 9 pages in double column

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

[24] arXiv:2402.16393 (cross-list from cs.CR) [pdf, other]

Title: Optimal Communication Unbalanced Private Set Union

Jean-Guillaume Dumas (CASC), Alexis Galan (CASC), Bruno Grenet (CASC), Aude Maignan (CASC), Daniel S. Roche

Subjects: Cryptography and Security (cs.CR); Symbolic Computation (cs.SC)