Symbolic Computation

Authors and titles for recent submissions

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

[1] arXiv:2603.18699 (cross-list from cs.DS) [pdf, other]: Title: A more accurate rational non-commutative algorithm for multiplying 4x4 matrices using 48 multiplications

Authors: Jean-Guillaume Dumas (UGA, LJK, CASC), Clément Pernet (UGA, LJK), Alexandre Sedoglavic (CRIStAL)

Subjects: Data Structures and Algorithms (cs.DS); Symbolic Computation (cs.SC)

[2] arXiv:2603.17575 (cross-list from cs.LG) [pdf, ps, other]: Title: Unsupervised Symbolic Anomaly Detection

Authors: Md Maruf Hossain, Tim Katzke, Simon Klüttermann, Emmanuel Müller

Comments: 13 pages, 7 figures

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Symbolic Computation (cs.SC)
[3] arXiv:2603.17288 (cross-list from math.AG) [pdf, ps, other]: Title: Certifying Galois/monodromy Actions via Homotopy Graphs

Authors: Timothy Duff, Kisun Lee

Comments: 17 pages, 2 figures, 2 tables

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

[4] arXiv:2603.16378 [pdf, ps, other]: Title: A complexity analysis of the F4 Gröbner basis algorithm with tracer data

Authors: Robin Kouba, Vincent Neiger, Mohab Safey El Din

Comments: 50 pages, 4 algorithms, 7 figures

Subjects: Symbolic Computation (cs.SC); Commutative Algebra (math.AC)
[5] arXiv:2603.16283 [pdf, ps, other]: Title: Computing the connected components of real algebraic curves

Authors: Elisabetta Rocchi (PolSys), Mohab Safey El Din (PolSys)

Subjects: Symbolic Computation (cs.SC); Algebraic Geometry (math.AG)
[6] arXiv:2603.15997 (cross-list from cs.MM) [pdf, ps, other]: Title: Visual Set Program Synthesizer

Authors: Zehua Cheng, Wei Dai, Wenhu Zhang, Thomas Lukasiewicz, Jiahao Sun

Comments: 10 pages, IEEE International Conference on Multimedia and Expo 2026

Journal-ref: IEEE International Conference on Multimedia and Expo 2026

Subjects: Multimedia (cs.MM); Computation and Language (cs.CL); Symbolic Computation (cs.SC)

[7] arXiv:2603.15156 [pdf, ps, other]: Title: Introducing the vfunc R package

Authors: Robin K. S. Hankin

Comments: 4

Subjects: Symbolic Computation (cs.SC)
[8] arXiv:2603.14353 [pdf, ps, other]: Title: LawMind: A Law-Driven Paradigm for Discovering Analytical Solutions to Partial Differential Equations

Authors: Min-Yi Zheng, Shengqi Zhang, Liancheng Wu, Jinghui Zhong, Shiyi Chen, Yew-Soon Ong

Comments: 19 pages, 3 figures

Subjects: Symbolic Computation (cs.SC)
[9] arXiv:2603.13854 (cross-list from cs.LO) [pdf, ps, other]: Title: Power Term Polynomial Algebra for Boolean Logic

Authors: Emanuele Sansone, Armando Solar-Lezama

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Symbolic Computation (cs.SC)
[10] arXiv:2603.13514 (cross-list from cs.AI) [pdf, ps, other]: Title: Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source

Authors: Jeff Shrager

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Symbolic Computation (cs.SC)

[11] arXiv:2603.12227 [pdf, ps, other]: Title: Interpreting Contrastive Embeddings in Specific Domains with Fuzzy Rules

Authors: Javier Fumanal-Idocin, Mohammadreza Jamalifard, Javier Andreu-Perez

Subjects: Symbolic Computation (cs.SC); Machine Learning (cs.LG)
[12] arXiv:2603.11164 (cross-list from hep-th) [pdf, ps, other]: Title: Learning to Unscramble: Simplifying Symbolic Expressions via Self-Supervised Oracle Trajectories

Authors: David Shih

Comments: 14 pages, 6 figures, 2 tables; work done in collaboration with Claude Code

Subjects: High Energy Physics - Theory (hep-th); Machine Learning (cs.LG); Symbolic Computation (cs.SC); High Energy Physics - Phenomenology (hep-ph)

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