Recent Advances in Symbolic Regression.

Συγγραφείς: Dong, Junlan¹ (AUTHOR) eru-dd@foxmail.com, Zhong, Jinghui¹ (AUTHOR) jinghuizhong@gmail.com

Πηγή: ACM Computing Surveys. Nov2025, Vol. 57 Issue 11, p1-37. 37p.

Θεματικοί όροι: *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

Συγγραφείς: Heermann, Hagen, Grabowsky, Pascal, Zivkovic, Carna, Grimm, Christoph

Πηγή: 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

Συγγραφείς: Wen, Yuqiang, Law, K. L. Eddie

Πηγή: 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

Συγγραφείς: Zhu, Huawei, Xiang, Dong, Dong, Da, Zhang, Chaolan, Ren, Wei

Πηγή: 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.

Συγγραφείς: Gubarev, Vsevolod^1,2 (AUTHOR) wsewolod89@gmail.com

Πηγή: Journal of Algebra. Dec2025, Vol. 683, p253-277. 25p.

Θεματικοί όροι: *MATRICES (Mathematics), *SYMBOLIC computation, *OPERATOR algebras, *COMPUTER systems, *EQUATIONS

Invertibility of a Linearized Boussinesq Flow: A Symbolic Approach.

Συγγραφείς: Elgindi, Tarek M.¹ (AUTHOR) tarek.elgindi@duke.edu, Pasqualotto, Federico² (AUTHOR) fpasqualotto@berkeley.edu

Πηγή: Communications in Mathematical Physics. Nov2025, Vol. 406 Issue 11, p1-36. 36p.

Θεματικοί όροι: *SYMBOLIC computation, *LINEAR operators, *COMPUTER-aided engineering, *BUOYANCY-driven flow

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

Συγγραφείς: d'Elbée, Christian¹ (AUTHOR)

Πηγή: Journal of Algebra. Nov2025, Vol. 681, p679-712. 34p.

Θεματικοί όροι: *LIE algebras, *SYMBOLIC computation, *ALGEBRA, *LOGICAL prediction

Evaluation Of Integrals Of Bessel Functions With Umbral Methods.

Συγγραφείς: Dattoli, Giuseppe¹ (AUTHOR) pinodattoli@libero.it, Khan, Subuhi² (AUTHOR) subuhi2006@gmail.com, Ahmad, Ujair² (AUTHOR) ujairamu1998@gmail.com

Πηγή: Reports on Mathematical Physics. Oct2025, Vol. 96 Issue 2, p213-226. 14p.

Θεματικοί όροι: *BESSEL functions, *SYMBOLIC computation, *LOGARITHMS, *MATHEMATICAL analysis, *EXPONENTIAL functions

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

Συγγραφείς: Beyer, Dirk, Ernst, Gidon, Jonáš, Martin, Lingsch-Rosenfeld, Marian

Θεματικοί όροι: Programming Languages, Symbolic Computation, Software Engineering

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.21509

Fast Matrix Multiplication via Ternary Meta Flip Graphs

Συγγραφείς: Perminov, A. I.

Θεματικοί όροι: Symbolic Computation, Data Structures and Algorithms

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.20317

Computing basis of solutions of any Mahler equation

Συγγραφείς: Faverjon, Colin, Poulet, Marina

Θεματικοί όροι: Symbolic Computation, Number Theory

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.18877

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

Συγγραφείς: Tabbara, Ihab, Badr, Eliya, Sibai, Hussein

Θεματικοί όροι: Systems and Control, Formal Languages and Automata Theory, Symbolic Computation

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.15238

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

Συγγραφείς: Fekésházy, Levente, Schnetz, Oliver

Θεματικοί όροι: Symbolic Computation, High Energy Physics - Phenomenology

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.15735

Quantum Hyperdimensional Computing: a foundational paradigm for quantum neuromorphic architectures

Συγγραφείς: Cumbo, Fabio, Li, Rui-Hao, Raubenolt, Bryan, Joshi, Jayadev, Masum, Abu Kaisar Mohammad, Aygun, Sercan, Blankenberg, Daniel

Θεματικοί όροι: Quantum Physics, Emerging Technologies, Symbolic Computation

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.12664

Decomposition and Preprocessing of Ternary Constraint Networks

Συγγραφείς: Talbot, Pierre

Θεματικοί όροι: Symbolic Computation

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.11872

Fast polynomial computations with space constraints

Συγγραφείς: Grenet, Bruno

Θεματικοί όροι: Symbolic Computation, Computational Complexity

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.11267

Faster Algorithms for Structured Matrix Multiplication via Flip Graph Search

Συγγραφείς: Khoruzhii, Kirill, Gelß, Patrick, Pokutta, Sebastian

Θεματικοί όροι: Symbolic Computation, Data Structures and Algorithms, 68Q25, F.2.1; F.1.3; G.1.3

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.10786

Two Constraint Compilation Methods for Lifted Planning

Συγγραφείς: Mantenoglou, Periklis, Bonassi, Luigi, Scala, Enrico, Martires, Pedro Zuidberg Dos

Θεματικοί όροι: Artificial Intelligence, Symbolic Computation

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.10164

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

Συγγραφείς: Gaudel, Bimal, Adam, Robert G., Melekamburath, Ajay, Masteran, Conner, Teke, Nakul, Besharatnik, Azam, Köhn, Andreas, Valeev, Edward F.

Θεματικοί όροι: Mathematical Software, Symbolic Computation, Chemical Physics, Computational Physics, Quantum Physics

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.09943

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

Συγγραφείς: Kiefer, Stefan, Ryzhikov, Andrew

Θεματικοί όροι: Formal Languages and Automata Theory, Data Structures and Algorithms, Symbolic Computation

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.09703