Imagen de Portada

Generalized ODE reduction algorithm for bounded degree transformation

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Huang, Shaoxuan
Formato:	Preprint
Publicado:	2025
Materias:	Symbolic Computation
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Generalized ODE reduction algorithm with bounded degree transformation
por: Huang, Shaoxuan
Publicado: (2025)

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

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

Diagonals and algebraicity modulo $p$: a sharper degree bound
por: Adamczewski, Boris, et al.
Publicado: (2026)

Degree bounds for linear differential equations and recurrences
por: Gaillard, Louis
Publicado: (2026)

Dissipative quadratizations of polynomial ODE systems
por: Cai, Yubo, et al.
Publicado: (2023)

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

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

Strassen's algorithm is not optimally accurate
por: Dumas, Jean-Guillaume, et al.
Publicado: (2024)

Order Bounds for Hypergeometric and q-Hypergeometric Creative Telescoping
por: Huang, Hui
Publicado: (2026)

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

An algorithm to recognize regular singular Mahler systems
por: Faverjon, Colin, et al.
Publicado: (2021)

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

Generalized Fixed-Depth Prefix and Postfix Symbolic Regression Grammars
por: Finkelstein, Edward
Publicado: (2024)

Solving parametric polynomial systems using Generic Rational Univariate Representation
por: Corniquel, Florent
Publicado: (2026)

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

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

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

A general optimization solver based on OP-to-MaxSAT reduction
por: Zhao, Yuxin, et al.
Publicado: (2026)

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

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

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

A Novel Approach to the Initial Value Problem with a complete validated algorithm
por: Zhang, Bingwei, et al.
Publicado: (2025)

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

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

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

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

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

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

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

Neuro-Symbolic ODE Discovery with Latent Grammar Flow
por: Yu, Karin, et al.
Publicado: (2026)

A quasi-optimal lower bound for skew polynomial multiplication
por: Chen, Qiyuan, et al.
Publicado: (2024)

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

Faster multivariate integration in D-modules
por: Brochet, Hadrien, et al.
Publicado: (2025)

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

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

Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
por: Stübbe, Jonas, et al.
Publicado: (2025)

More is Less: Adding Polynomials for Faster Explanations in NLSAT
por: Promies, Valentin, et al.
Publicado: (2025)

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

Symmetric Division of Linear Ordinary Differential Operators
por: Du, Lixin, et al.
Publicado: (2025)