Symbolic Computation

Authors and titles for recent submissions

[ total of 11 entries: 1-5 | 6-10 | 11 ]
[ showing 5 entries per page: fewer | more | all ]

[1] arXiv:2405.10188 [pdf, ps, other]: Title: Bridging Syntax and Semantics of Lean Expressions in E-Graphs

Authors: Marcus Rossel, Andrés Goens

Comments: Accepted for EGRAPHS-2024

Subjects: Symbolic Computation (cs.SC)
[2] arXiv:2405.10215 (cross-list from cs.LG) [pdf, other]: Title: SMLP: Symbolic Machine Learning Prover (User Manual)

Authors: Franz Brauße, Zurab Khasidashvili, Konstantin Korovin

Comments: arXiv admin note: text overlap with arXiv:2402.01415

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC); Optimization and Control (math.OC)
[3] arXiv:2405.09689 (cross-list from cs.LG) [pdf, other]: Title: Generalized Holographic Reduced Representations

Authors: Calvin Yeung, Zhuowen Zou, Mohsen Imani

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

[4] arXiv:2405.09232 [pdf, other]: Title: Algebraic Tools for Computing Polynomial Loop Invariants

Authors: Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet

Comments: 10 pages, 1 figure

Subjects: Symbolic Computation (cs.SC); Programming Languages (cs.PL); Algebraic Geometry (math.AG)
[5] arXiv:2405.08964 (cross-list from math.AC) [pdf, other]: Title: Wronskians form the inverse system of the arcs of a double point

Authors: Rida Ait El Manssour, Gleb Pogudin

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

[ total of 11 entries: 1-5 | 6-10 | 11 ]
[ showing 5 entries per page: fewer | more | all ]