Recent Advances in Symbolic Regression.

Authors: Dong, Junlan¹ (AUTHOR) eru-dd@foxmail.com, Zhong, Jinghui¹ (AUTHOR) jinghuizhong@gmail.com

Source: ACM Computing Surveys. Nov2025, Vol. 57 Issue 11, p1-37. 37p.

Subject Terms: *ARTIFICIAL intelligence, *ARTIFICIAL neural networks, SYMBOLIC computation, SCIENCE education, REINFORCEMENT learning, DEEP learning, FEATURE selection

Reachability Analysis of Deep Neural Networks Using Affine Arithmetic Decision Diagrams

Authors: Heermann, Hagen, Grabowsky, Pascal, Zivkovic, Carna, Grimm, Christoph

Source: 2025 Forum on Specification & Design Languages (FDL) Specification & Design Languages (FDL), 2025 Forum on. :1-9 Sep, 2025

Relation: 2025 Forum on Specification & Design Languages (FDL)

Modified Gamma and Hyper-Erlang Distribution Models for Group Broadcasting

Authors: Wen, Yuqiang, Law, K. L. Eddie

Source: 2025 34th International Conference on Computer Communications and Networks (ICCCN) Computer Communications and Networks (ICCCN), 2025 34th International Conference on. :1-6 Aug, 2025

Relation: 2025 34th International Conference on Computer Communications and Networks (ICCCN)

Symbolic Computation Based Robust Exponential Stabilization Control for the Switched Polynomial Systems with Control Input Constraints

Authors: Zhu, Huawei, Xiang, Dong, Dong, Da, Zhang, Chaolan, Ren, Wei

Source: 2025 IEEE 26th China Conference on System Simulation Technology and its Applications (CCSSTA) System Simulation Technology and its Applications (CCSSTA), 2025 IEEE 26th China Conference on. :605-610 Jul, 2025

Relation: 2025 IEEE 26th China Conference on System Simulation Technology and its Applications (CCSSTA)

Rota–Baxter operators of weight zero on the matrix algebra of order three without unit in kernel.

Authors: Gubarev, Vsevolod^1,2 (AUTHOR) wsewolod89@gmail.com

Source: Journal of Algebra. Dec2025, Vol. 683, p253-277. 25p.

Subject Terms: *MATRICES (Mathematics), *SYMBOLIC computation, *OPERATOR algebras, *COMPUTER systems, *EQUATIONS

Invertibility of a Linearized Boussinesq Flow: A Symbolic Approach.

Authors: Elgindi, Tarek M.¹ (AUTHOR) tarek.elgindi@duke.edu, Pasqualotto, Federico² (AUTHOR) fpasqualotto@berkeley.edu

Source: Communications in Mathematical Physics. Nov2025, Vol. 406 Issue 11, p1-36. 36p.

Subject Terms: *SYMBOLIC computation, *LINEAR operators, *COMPUTER-aided engineering, *BUOYANCY-driven flow

Wilson conjecture for omega-categorical Lie algebras, the case 4-Engel characteristic 3.

Authors: d'Elbée, Christian¹ (AUTHOR)

Source: Journal of Algebra. Nov2025, Vol. 681, p679-712. 34p.

Subject Terms: *LIE algebras, *SYMBOLIC computation, *ALGEBRA, *LOGICAL prediction

Evaluation Of Integrals Of Bessel Functions With Umbral Methods.

Authors: Dattoli, Giuseppe¹ (AUTHOR) pinodattoli@libero.it, Khan, Subuhi² (AUTHOR) subuhi2006@gmail.com, Ahmad, Ujair² (AUTHOR) ujairamu1998@gmail.com

Source: Reports on Mathematical Physics. Oct2025, Vol. 96 Issue 2, p213-226. 14p.

Subject Terms: *BESSEL functions, *SYMBOLIC computation, *LOGARITHMS, *MATHEMATICAL analysis, *EXPONENTIAL functions

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks

Authors: Beyer, Dirk, Ernst, Gidon, Jonáš, Martin, Lingsch-Rosenfeld, Marian

Subject Terms: Programming Languages, Symbolic Computation, Software Engineering

Access URL: http://arxiv.org/abs/2511.21509

Fast Matrix Multiplication via Ternary Meta Flip Graphs

Authors: Perminov, A. I.

Subject Terms: Symbolic Computation, Data Structures and Algorithms

Access URL: http://arxiv.org/abs/2511.20317

Computing basis of solutions of any Mahler equation

Authors: Faverjon, Colin, Poulet, Marina

Subject Terms: Symbolic Computation, Number Theory

Access URL: http://arxiv.org/abs/2511.18877

Computing Sound and Accurate Upper and Lower Bounds on Hamilton-Jacobi Reachability Value Functions

Authors: Tabbara, Ihab, Badr, Eliya, Sibai, Hussein

Subject Terms: Systems and Control, Formal Languages and Automata Theory, Symbolic Computation

Access URL: http://arxiv.org/abs/2511.15238

LinApart2: efficient parallel partial fraction decomposition algorithm for denominators with polynomials of general degree

Authors: Fekésházy, Levente, Schnetz, Oliver

Subject Terms: Symbolic Computation, High Energy Physics - Phenomenology

Access URL: http://arxiv.org/abs/2511.15735

Quantum Hyperdimensional Computing: a foundational paradigm for quantum neuromorphic architectures

Authors: Cumbo, Fabio, Li, Rui-Hao, Raubenolt, Bryan, Joshi, Jayadev, Masum, Abu Kaisar Mohammad, Aygun, Sercan, Blankenberg, Daniel

Subject Terms: Quantum Physics, Emerging Technologies, Symbolic Computation

Access URL: http://arxiv.org/abs/2511.12664

Decomposition and Preprocessing of Ternary Constraint Networks

Authors: Talbot, Pierre

Subject Terms: Symbolic Computation

Access URL: http://arxiv.org/abs/2511.11872

Fast polynomial computations with space constraints

Authors: Grenet, Bruno

Subject Terms: Symbolic Computation, Computational Complexity

Access URL: http://arxiv.org/abs/2511.11267

Faster Algorithms for Structured Matrix Multiplication via Flip Graph Search

Authors: Khoruzhii, Kirill, Gelß, Patrick, Pokutta, Sebastian

Subject Terms: Symbolic Computation, Data Structures and Algorithms, 68Q25, F.2.1; F.1.3; G.1.3

Access URL: http://arxiv.org/abs/2511.10786

Two Constraint Compilation Methods for Lifted Planning

Authors: Mantenoglou, Periklis, Bonassi, Luigi, Scala, Enrico, Martires, Pedro Zuidberg Dos

Subject Terms: Artificial Intelligence, Symbolic Computation

Access URL: http://arxiv.org/abs/2511.10164

SeQuant Framework for Symbolic and Numerical Tensor Algebra. I. Core Capabilities

Authors: Gaudel, Bimal, Adam, Robert G., Melekamburath, Ajay, Masteran, Conner, Teke, Nakul, Besharatnik, Azam, Köhn, Andreas, Valeev, Edward F.

Subject Terms: Mathematical Software, Symbolic Computation, Chemical Physics, Computational Physics, Quantum Physics

Access URL: http://arxiv.org/abs/2511.09943

Spectral and combinatorial methods for efficiently computing the rank of unambiguous finite automata

Authors: Kiefer, Stefan, Ryzhikov, Andrew

Subject Terms: Formal Languages and Automata Theory, Data Structures and Algorithms, Symbolic Computation

Access URL: http://arxiv.org/abs/2511.09703