Buchumschlag

Generalized ODE reduction algorithm with bounded degree transformation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Huang, Shaoxuan
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Symbolic Computation
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Generalized ODE reduction algorithm for bounded degree transformation
von: Huang, Shaoxuan
Veröffentlicht: (2025)

Algorithmic reduction of polynomially nonlinear PDE systems to parametric ODE systems
von: Deng, Siyuan, et al.
Veröffentlicht: (2024)

A unified approach for degree bound estimates of linear differential operators
von: Gaillard, Louis
Veröffentlicht: (2025)

Diagonals and algebraicity modulo $p$: a sharper degree bound
von: Adamczewski, Boris, et al.
Veröffentlicht: (2026)

Degree bounds for linear differential equations and recurrences
von: Gaillard, Louis
Veröffentlicht: (2026)

Dissipative quadratizations of polynomial ODE systems
von: Cai, Yubo, et al.
Veröffentlicht: (2023)

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

LinApart2: efficient parallel partial fraction decomposition algorithm for denominators with polynomials of general degree
von: Fekésházy, Levente, et al.
Veröffentlicht: (2025)

Strassen's algorithm is not optimally accurate
von: Dumas, Jean-Guillaume, et al.
Veröffentlicht: (2024)

Order Bounds for Hypergeometric and q-Hypergeometric Creative Telescoping
von: Huang, Hui
Veröffentlicht: (2026)

Faster Gröbner bases for Lie derivatives of ODE systems via monomial orderings
von: Bessonov, Mariya, et al.
Veröffentlicht: (2022)

An algorithm to recognize regular singular Mahler systems
von: Faverjon, Colin, et al.
Veröffentlicht: (2021)

A Generalization of Habicht's Theorem for Subresultants of Several Univariate Polynomials
von: Hong, Hoon, et al.
Veröffentlicht: (2024)

Generalized Fixed-Depth Prefix and Postfix Symbolic Regression Grammars
von: Finkelstein, Edward
Veröffentlicht: (2024)

Solving parametric polynomial systems using Generic Rational Univariate Representation
von: Corniquel, Florent
Veröffentlicht: (2026)

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

Telescoping Algorithms for $Σ^*$-Extensions via Complete Reductions
von: Chen, Shaoshi, et al.
Veröffentlicht: (2025)

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

A general optimization solver based on OP-to-MaxSAT reduction
von: Zhao, Yuxin, et al.
Veröffentlicht: (2026)

A Unified Reduction for Hypergeometric and q-Hypergeometric Creative Telescoping
von: Chen, Shaoshi, et al.
Veröffentlicht: (2025)

Towards automated generation of fast and accurate algorithms for recursive matrix multiplication
von: Dumas, Jean-Guillaume, et al.
Veröffentlicht: (2025)

Generalization of semi-regular sequences: Maximal Gröbner basis degree, variants of genericness, and related conjectures
von: Kudo, Momonari, et al.
Veröffentlicht: (2024)

A Novel Approach to the Initial Value Problem with a complete validated algorithm
von: Zhang, Bingwei, et al.
Veröffentlicht: (2025)

Computing roadmaps in unbounded smooth real algebraic sets II: algorithm and complexity
von: Prébet, Rémi, et al.
Veröffentlicht: (2024)

Optimized Gröbner basis algorithms for maximal determinantal ideals and critical point computations
von: Gopalakrishnan, Sriram, et al.
Veröffentlicht: (2024)

A complexity analysis of the F4 Gröbner basis algorithm with tracer data
von: Kouba, Robin, et al.
Veröffentlicht: (2026)

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

Probabilistic algorithm for computing all local minimizers of Morse functions on a compact domain
von: Din, Mohab Safey El, et al.
Veröffentlicht: (2025)

Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
von: Huang, Wei-Jia, et al.
Veröffentlicht: (2026)

Computing points in connected components defined by a real inequation: algorithms, complexity and implementations, Part I
von: Berthomieu, Jérémy, et al.
Veröffentlicht: (2026)

Neuro-Symbolic ODE Discovery with Latent Grammar Flow
von: Yu, Karin, et al.
Veröffentlicht: (2026)

A quasi-optimal lower bound for skew polynomial multiplication
von: Chen, Qiyuan, et al.
Veröffentlicht: (2024)

ViTex: Visual Texture Control for Multi-Track Symbolic Music Generation via Discrete Diffusion Models
von: Yi, Xiaoyu, et al.
Veröffentlicht: (2026)

Faster multivariate integration in D-modules
von: Brochet, Hadrien, et al.
Veröffentlicht: (2025)

Consequences of the Moosbauer-Poole Algorithms
von: Kauers, Manuel, et al.
Veröffentlicht: (2025)

Deducing Closed-Form Expressions for Bright-Solitons in Strongly Magnetized Plasmas with Physics Informed Symbolic Regression (PISR)
von: Finkelstein, Edward
Veröffentlicht: (2025)

Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
von: Stübbe, Jonas, et al.
Veröffentlicht: (2025)

More is Less: Adding Polynomials for Faster Explanations in NLSAT
von: Promies, Valentin, et al.
Veröffentlicht: (2025)

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
von: Nalbach, Jasper, et al.
Veröffentlicht: (2025)

Symmetric Division of Linear Ordinary Differential Operators
von: Du, Lixin, et al.
Veröffentlicht: (2025)