Symbolic Computation

Authors and titles for December 2021

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

Title: Polynomial XL: A Variant of the XL Algorithm Using Macaulay Matrices over Polynomial Rings

Hiroki Furue, Momonari Kudo

Comments: 35 pages, 1 figure

Journal-ref: Proceedings of PQCrypto 2024

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

[2] arXiv:2112.05948 [pdf, other]

Title: Stability of Cournot duopoly games with isoelastic demands and quadratic costs

Xiaoliang Li, Li Su

Subjects: Symbolic Computation (cs.SC); Theoretical Economics (econ.TH); Dynamical Systems (math.DS)

[3] arXiv:2112.15370 [pdf, other]

Title: Subresultant of several univariate polynomials

Hoon Hong, Jing Yang

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

[4] arXiv:2112.00456 (cross-list from math.HO) [pdf, other]

Title: Lecture notes on complexity of quantifier elimination over the reals

Nicolai Vorobjov

Comments: 21 pages

Subjects: History and Overview (math.HO); Symbolic Computation (cs.SC); Logic (math.LO)

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

Title: Combining Sub-Symbolic and Symbolic Methods for Explainability

Anna Himmelhuber, Stephan Grimm, Sonja Zillner, Mitchell Joblin, Martin Ringsquandl, Thomas Runkler

Comments: RuleML+RR 2021

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

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

Title: Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks

Prithviraj Sen, Breno W. S. R. de Carvalho, Ryan Riegel, Alexander Gray

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

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

Title: The VLSAT-3 Benchmark Suite

Pierre Bouvier (CONVECS)

Comments: arXiv admin note: text overlap with arXiv:2011.11049, arXiv:2110.06336

Subjects: Data Structures and Algorithms (cs.DS); Formal Languages and Automata Theory (cs.FL); Symbolic Computation (cs.SC)

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

Title: Explicit Bounds for Linear Forms in the Exponentials of Algebraic Numbers

Cheng-Chao Huang

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

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

Title: Solving degree, last fall degree, and related invariants

Alessio Caminata, Elisa Gorla

Comments: Final version. To appear in Journal of Symbolic Computation

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

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

Title: Analysis of stability and bifurcation for two heterogeneous triopoly games with the isoelastic demand

Xiaoliang Li

Subjects: Dynamical Systems (math.DS); Symbolic Computation (cs.SC); Theoretical Economics (econ.TH)

[11] arXiv:2112.10217 (cross-list from cs.FL) [pdf, other]

Title: Proceedings Twelfth International Workshop on Graph Computational Models

Berthold Hoffmann, Mark Minas

Journal-ref: EPTCS 350, 2021

Subjects: Formal Languages and Automata Theory (cs.FL); Symbolic Computation (cs.SC)

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

Title: Marginal Independence Models

Tobias Boege, Sonja Petrović, Bernd Sturmfels

Comments: Revised to include more details in proof. Prepared for ISSAC '22

Subjects: Statistics Theory (math.ST); Symbolic Computation (cs.SC); Algebraic Geometry (math.AG); Optimization and Control (math.OC)

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

Title: The complexity of solving Weil restriction systems

Alessio Caminata, Michela Ceria, Elisa Gorla

Comments: Final version. To appear in Journal of Algebra

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

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

Title: FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing

Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro

Comments: 4 pages, 2 figures, International Conference on Fundamental Approaches to Software Engineering (FASE 2022)

Subjects: Cryptography and Security (cs.CR); Computers and Society (cs.CY); Symbolic Computation (cs.SC); Software Engineering (cs.SE)

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

Title: An ASP-based Approach to Answering Natural Language Questions for Texts

Dhruva Pendharkar, Kinjal Basu, Farhad Shakerin, Gopal Gupta

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

[16] arXiv:2112.11600 (cross-list from astro-ph.EP) [pdf, other]

Title: Analytical Modelling of Exoplanet Transit Specroscopy with Dimensional Analysis and Symbolic Regression

Konstantin T. Matchev, Katia Matcheva, Alexander Roman

Comments: Submitted to AAS Journals, 24 pages, 7 figures

Subjects: Earth and Planetary Astrophysics (astro-ph.EP); Machine Learning (cs.LG); Symbolic Computation (cs.SC); Data Analysis, Statistics and Probability (physics.data-an)

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

Title: An algebraic attack on stream ciphers with application to nonlinear filter generators and WG-PRNG

Carla Mascia, Enrico Piccione, Massimiliano Sala

Comments: Advances in Mathematics of Communications. 2023

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

[18] arXiv:2112.13844 (cross-list from econ.TH) [pdf, other]

Title: Stability analysis of heterogeneous oligopoly games of increasing players with quadratic costs

Xiaoliang Li

Subjects: Theoretical Economics (econ.TH); Symbolic Computation (cs.SC); Dynamical Systems (math.DS)

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

Title: Automated Code Optimization with E-Graphs

Alessandro Cheli

Comments: Bachelor Thesis in Computer Science, University of Pisa

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

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

Title: Proceedings of the 13th International Conference on Automated Deduction in Geometry

Predrag Janičić, Zoltán Kovács

Journal-ref: EPTCS 352, 2021

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Mathematical Software (cs.MS); Symbolic Computation (cs.SC)