Symbolic Computation

Authors and titles for recent submissions

[ total of 9 entries: 1-9 ]
[ showing up to 25 entries per page: fewer | more ]

[1] arXiv:2405.10578 [pdf, other]: Title: Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation

Authors: Bo Huang, Dongming Wang, Jing Yang

Comments: To appear in Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation (ISSAC 2024)

Subjects: Symbolic Computation (cs.SC)

[2] 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)
[3] 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)
[4] 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)

[5] 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)
[6] 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)

[7] arXiv:2405.08300 (cross-list from cs.CV) [pdf, other]: Title: Vector-Symbolic Architecture for Event-Based Optical Flow

Authors: Hongzhi You, Yijun Cao, Wei Yuan, Fanjun Wang, Ning Qiao, Yongjie Li

Subjects: Computer Vision and Pattern Recognition (cs.CV); Symbolic Computation (cs.SC)

[8] arXiv:2405.07761 (cross-list from cs.LG) [pdf, other]: Title: LLM4ED: Large Language Models for Automatic Equation Discovery

Authors: Mengge Du, Yuntian Chen, Zhongzheng Wang, Longfeng Nie, Dongxiao Zhang

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Symbolic Computation (cs.SC); Mathematical Physics (math-ph); Applications (stat.AP)
[9] arXiv:2405.07488 (cross-list from cs.LG) [pdf, other]: Title: Predictive Modeling of Flexible EHD Pumps using Kolmogorov-Arnold Networks

Authors: Yanhong Peng, Miao He, Fangchao Hu, Zebing Mao, Xia Huang, Jun Ding

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

[ total of 9 entries: 1-9 ]
[ showing up to 25 entries per page: fewer | more ]