Image de couverture de livre

Telescoping Algorithms for $Σ^*$-Extensions via Complete Reductions

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Chen, Shaoshi, Gao, Yiman, Huang, Hui, Schneider, Carsten
Format:	Preprint
Publié:	2025
Sujets:	Symbolic Computation
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Unified Reduction for Hypergeometric and q-Hypergeometric Creative Telescoping
par: Chen, Shaoshi, et autres
Publié: (2025)

Complete Reduction for Derivatives in a Transcendental Liouvillian Extension
par: Chen, Shaoshi, et autres
Publié: (2026)

Creative Telescoping
par: Chen, Shaoshi, et autres
Publié: (2025)

Creative Telescoping for Hypergeometric Double Sums
par: Paule, Peter, et autres
Publié: (2024)

Parallel Summation in P-Recursive Extensions
par: Chen, Shaoshi, et autres
Publié: (2024)

Flip Graphs for Polynomial Multiplication
par: Chen, Shaoshi, et autres
Publié: (2025)

Complete Reduction for Derivatives in a Primitive Tower
par: Du, Hao, et autres
Publié: (2025)

Order Bounds for Hypergeometric and q-Hypergeometric Creative Telescoping
par: Huang, Hui
Publié: (2026)

How to generate all possible rational Wilf-Zeilberger forms?
par: Chen, Shaoshi, et autres
Publié: (2024)

On the Summability Problem of Multivariate Rational Functions in the Mixed Case
par: Chen, Shaoshi, et autres
Publié: (2026)

An Algorithm for Discriminating the Complete Multiplicities of a Parametric Univariate Polynomial
par: Qin, Simin, et autres
Publié: (2024)

Cooley-Tukey FFT over $\mathbb{Q}_p$ via Unramified Cyclotomic Extension
par: Kondo, Hiromasa
Publié: (2025)

Extensions of the Cylindrical Algebraic Covering Method for Quantifiers
par: Nalbach, Jasper, et autres
Publié: (2024)

Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations
par: Böhmer, Christian G., et autres
Publié: (2025)

Symbolic Integration in Weierstrass-like Extensions
par: Chen, Shaoshi, et autres
Publié: (2026)

Consequences of the Moosbauer-Poole Algorithms
par: Kauers, Manuel, et autres
Publié: (2025)

Algorithms for Recursive Block Matrices
par: Watt, Stephen M.
Publié: (2024)

Parallel Heuristic Exploration for Additive Complexity Reduction in Fast Matrix Multiplication
par: Perminov, A. I.
Publié: (2025)

A Generalisation of Goursat's Algorithm for Integration in Finite Terms
par: Blake, Sam
Publié: (2026)

Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
par: Huang, Wei-Jia, et autres
Publié: (2026)

Algorithmic reduction of polynomially nonlinear PDE systems to parametric ODE systems
par: Deng, Siyuan, et autres
Publié: (2024)

An Algorithm for Computing the Leading Monomials of a Minimal Groebner Basis of Generic Sequences
par: Sakata, Kosuke, et autres
Publié: (2025)

Two Algorithms for Computing Rational Univariate Representations of Zero-Dimensional Ideals with Parameters
par: Wang, Dingkang, et autres
Publié: (2024)

A Flow Extension to Coroutine Types for Deadlock Detection in Go
par: Gu, Qiqi Jason, et autres
Publié: (2026)

Generalized ODE reduction algorithm for bounded degree transformation
par: Huang, Shaoxuan
Publié: (2025)

Generalized ODE reduction algorithm with bounded degree transformation
par: Huang, Shaoxuan
Publié: (2025)

Towards Practical Automatic Piano Reduction using BERT with Semi-supervised Learning
par: Wong, Wan Ki, et autres
Publié: (2025)

Efficient Tensor Decomposition via Moment Matrix Extension
par: Shi, Bobby, et autres
Publié: (2025)

Exploring Commutative Matrix Multiplication Schemes via Flip Graphs
par: Wood, Isaac
Publié: (2025)

Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
par: Hofstadler, Clemens, et autres
Publié: (2026)

Dimension Results for Extremal-Generic Polynomial Systems over Complete Toric Varieties
par: Bender, Matías, et autres
Publié: (2023)

Computing greatest common divisor of several parametric univariate polynomials via generalized subresultant polynomials
par: Hong, Hoon, et autres
Publié: (2023)

Symbolic-Neural Soft-Logic Reasoning: Towards Robust and Verifiable Thinking Chains via Cooperative Evolution
par: Wang, Rui, et autres
Publié: (2026)

Non-minimality of minimal telescopers explained by residues
par: Chen, Shaoshi, et autres
Publié: (2025)

Botfip-LLM: An Enhanced Multimodal Scientific Computing Framework Leveraging Knowledge Distillation from Large Language Models
par: Chen, Tianhao, et autres
Publié: (2024)

Advancing Symbolic Discovery on Unsupervised Data: A Pre-training Framework for Non-degenerate Implicit Equation Discovery
par: Yufei, Kuang, et autres
Publié: (2025)

A Dataset of Nonlinear Equations for Subdivision
par: Xu, Juan, et autres
Publié: (2026)

A zero-test for D-algebraic transseries
par: Chen, Shaoshi, et autres
Publié: (2026)

Algorithms for Algebraic and Arithmetic Attributes of Hypergeometric Functions
par: Caruso, Xavier, et autres
Publié: (2026)

Hahn series and Mahler equations: Algorithmic aspects
par: Faverjon, C., et autres
Publié: (2024)