:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Blake, Sam
Format:	Preprint
Published:	2026
Subjects:	Symbolic Computation
Online Access:	https://arxiv.org/abs/2604.27806
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Tree-Based Deep Learning for Ranking Symbolic Integration Algorithms
by: Barket, Rashid, et al.
Published: (2025)

Union of Finitely Generated Congruences on Ground Term Algebra
by: Vágvölgyi, Sándor
Published: (2024)

Consequences of the Moosbauer-Poole Algorithms
by: Kauers, Manuel, et al.
Published: (2025)

Algorithms for Recursive Block Matrices
by: Watt, Stephen M.
Published: (2024)

A Fast Algorithm for the Finite Expression Method in Learning Dynamics on Complex Networks
by: Song, Zezheng, et al.
Published: (2024)

Telescoping Algorithms for $Σ^*$-Extensions via Complete Reductions
by: Chen, Shaoshi, et al.
Published: (2025)

An Algorithm for Discriminating the Complete Multiplicities of a Parametric Univariate Polynomial
by: Qin, Simin, et al.
Published: (2024)

Generalised Burnside and Dixon algorithms for irreducible projective representations
by: Szabó, Attila
Published: (2025)

Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations
by: Böhmer, Christian G., et al.
Published: (2025)

Algorithmic reduction of polynomially nonlinear PDE systems to parametric ODE systems
by: Deng, Siyuan, et al.
Published: (2024)

An Algorithm for Computing the Leading Monomials of a Minimal Groebner Basis of Generic Sequences
by: Sakata, Kosuke, et al.
Published: (2025)

Two Algorithms for Computing Rational Univariate Representations of Zero-Dimensional Ideals with Parameters
by: Wang, Dingkang, et al.
Published: (2024)

An Automatic Pipeline for the Integration of Python-Based Tools into the Galaxy Platform: Application to the anvi'o Framework
by: Cumbo, Fabio, et al.
Published: (2026)

ABD: Default Exception Abduction in Finite First Order Worlds
by: Batzoglou, Serafim
Published: (2026)

A Local Search Algorithm for MaxSMT(LIA)
by: He, Xiang, et al.
Published: (2024)

Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs
by: Barket, Rashid, et al.
Published: (2024)

A Basis-preserving Algorithm for Computing the Bezout Matrix of Newton Polynomials
by: Yang, Jing, et al.
Published: (2024)

Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability
by: Desmond, Harry
Published: (2026)

Algorithms for Algebraic and Arithmetic Attributes of Hypergeometric Functions
by: Caruso, Xavier, et al.
Published: (2026)

Hahn series and Mahler equations: Algorithmic aspects
by: Faverjon, C., et al.
Published: (2024)

Modular Algorithms For Computing Gröbner Bases in Free Algebras
by: Hofstadler, Clemens, et al.
Published: (2025)

A Rank 23 Algorithm for Multiplying 3 x 3 Matrices with an Arithmetic Complexity of 59
by: Mårtensson, Erik, et al.
Published: (2025)

Yin-Yang: Developing Motifs With Long-Term Structure And Controllability
by: Bhandari, Keshav, et al.
Published: (2025)

Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms
by: Kera, Hiroshi, et al.
Published: (2025)

Algorithms for computing norms and characteristic polynomials on general Drinfeld modules
by: Caruso, Xavier, et al.
Published: (2023)

Transformers to Predict the Applicability of Symbolic Integration Routines
by: Barket, Rashid, et al.
Published: (2024)

Effective Quadratic Error Bounds for Floating-Point Algorithms Computing the Hypotenuse Function
by: Muller, Jean-Michel, et al.
Published: (2024)

A Dataset of Nonlinear Equations for Subdivision
by: Xu, Juan, et al.
Published: (2026)

A Syzygial Method for Equidimensional Decomposition
by: Mohr, Rafael
Published: (2024)

A note on a paper by Hashemi and Kapur
by: Heisel, Anna Nymann, et al.
Published: (2025)

A Unified Reduction for Hypergeometric and q-Hypergeometric Creative Telescoping
by: Chen, Shaoshi, et al.
Published: (2025)

A Generalization of Habicht's Theorem for Subresultants of Several Univariate Polynomials
by: Hong, Hoon, et al.
Published: (2024)

A Finite Expression Method for Solving High-Dimensional Committor Problems
by: Song, Zezheng, et al.
Published: (2023)

A unified approach for degree bound estimates of linear differential operators
by: Gaillard, Louis
Published: (2025)

DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
by: Wang, Zhonghan
Published: (2024)

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
by: Nalbach, Jasper, et al.
Published: (2025)

Power Term Polynomial Algebra for Boolean Logic
by: Sansone, Emanuele, et al.
Published: (2026)

LawMind: A Law-Driven Paradigm for Discovering Analytical Solutions to Partial Differential Equations
by: Zheng, Min-Yi, et al.
Published: (2026)

Advancing Symbolic Discovery on Unsupervised Data: A Pre-training Framework for Non-degenerate Implicit Equation Discovery
by: Yufei, Kuang, et al.
Published: (2025)

A non-commutative algorithm for multiplying 4x4 matrices using 48 non-complex multiplications
by: Dumas, Jean-Guillaume, et al.
Published: (2025)