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:2404.13419 [pdf, other]: Title: On Modeling Multi-Criteria Decision Making with Uncertain Information using Probabilistic Rules

Authors: Shengxin Hong, Xiuyi Fan

Subjects: Symbolic Computation (cs.SC)
[2] arXiv:2404.13672 (cross-list from cs.LO) [pdf, ps, other]: Title: Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis

Authors: Temur Kutsia (RISC, Johannes Kepler University Linz), Daniel Ventura (INF, Universidade Federal de Goiás), David Monniaux (CNRS - Verimag), José F. Morales (IMDEA)

Journal-ref: EPTCS 402, 2024

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

[3] arXiv:2404.13042 [pdf, ps, other]: Title: Reduction systems and degree bounds for integration

Authors: Hao Du, Clemens G. Raab

Comments: 40 pages

Subjects: Symbolic Computation (cs.SC)

[4] arXiv:2404.10906 (cross-list from cs.AI) [pdf, other]: Title: Towards a Research Community in Interpretable Reinforcement Learning: the InterpPol Workshop

Authors: Hector Kohler, Quentin Delfosse, Paul Festor, Philippe Preux

Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Machine Learning (cs.LG); Symbolic Computation (cs.SC)
[5] arXiv:2404.10839 (cross-list from cs.CC) [pdf, other]: Title: Constant-Depth Arithmetic Circuits for Linear Algebra Problems

Authors: Robert Andrews, Avi Wigderson

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

[6] arXiv:2404.10143 [pdf, ps, other]: Title: Computing with Hypergeometric-Type Terms

Authors: Bertrand Teguia Tabuguia

Comments: Completing reference [13]; software paper; 5 pages + 14 references

Subjects: Symbolic Computation (cs.SC); Discrete Mathematics (cs.DM); Mathematical Software (cs.MS)
[7] arXiv:2404.10482 (cross-list from math.AC) [pdf, ps, other]: Title: Primary Decomposition of Symmetric Ideals

Authors: Yuki Ishihara

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

[8] arXiv:2404.09749 [pdf, ps, other]: Title: Connectivity in Symmetric Semi-Algebraic Sets

Authors: Cordian Riener, Robin Schabert, Thi Xuan Vu

Subjects: Symbolic Computation (cs.SC)
[9] arXiv:2404.08751 (cross-list from cs.PL) [pdf, ps, other]: Title: Performant Dynamically Typed E-Graphs in Pure Julia

Authors: Alessandro Cheli, Niklas Heim

Comments: 8 pages, 5 figures, submission for 2024 PLDI e-graph workshop

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

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