Cover Image

Creative Telescoping

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chen, Shaoshi, Kauers, Manuel, Koutschan, Christoph
Format:	Preprint
Published:	2025
Subjects:	Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Flip Graphs for Polynomial Multiplication
by: Chen, Shaoshi, et al.
Published: (2025)

A Shape Lemma for Ideals of Differential Operators
by: Kauers, Manuel, et al.
Published: (2025)

How to generate all possible rational Wilf-Zeilberger forms?
by: Chen, Shaoshi, et al.
Published: (2024)

Non-minimality of minimal telescopers explained by residues
by: Chen, Shaoshi, et al.
Published: (2025)

Parallel Summation in P-Recursive Extensions
by: Chen, Shaoshi, et al.
Published: (2024)

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

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

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

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

Bounds for D-Algebraic Closure Properties
by: Kauers, Manuel, et al.
Published: (2025)

Exploring the Meta Flip Graph for Matrix Multiplication
by: Kauers, Manuel, et al.
Published: (2025)

On the Problem of Separating Variables in Multivariate Polynomial Ideals
by: Buchacher, Manfred, et al.
Published: (2024)

Exploiting the Structure in Tensor Decompositions for Matrix Multiplication
by: Kauers, Manuel, et al.
Published: (2026)

Creative Telescoping for Hypergeometric Double Sums
by: Paule, Peter, et al.
Published: (2024)

Statistical Analysis of Hairpins and BasePairs in RNA Secondary Structures
by: Bu, AJ, et al.
Published: (2026)

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

Representing Piecewise-Linear Functions by Functions with Minimal Arity
by: Koutschan, Christoph, et al.
Published: (2024)

On the Summability Problem of Multivariate Rational Functions in the Mixed Case
by: Chen, Shaoshi, et al.
Published: (2026)

Symbolic Integration in Weierstrass-like Extensions
by: Chen, Shaoshi, et al.
Published: (2026)

Complete Reduction for Derivatives in a Transcendental Liouvillian Extension
by: Chen, Shaoshi, et al.
Published: (2026)

Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
by: Hofstadler, Clemens, et al.
Published: (2026)

Botfip-LLM: An Enhanced Multimodal Scientific Computing Framework Leveraging Knowledge Distillation from Large Language Models
by: Chen, Tianhao, et al.
Published: (2024)

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

A zero-test for D-algebraic transseries
by: Chen, Shaoshi, 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)

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

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

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

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

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

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

Generalized ODE reduction algorithm for bounded degree transformation
by: Huang, Shaoxuan
Published: (2025)

Generalized ODE reduction algorithm with bounded degree transformation
by: Huang, Shaoxuan
Published: (2025)

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

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

The regular multivariate quadratic problem
by: Joux, Antoine, et al.
Published: (2025)

Frobenius method for Mahler equations
by: Roques, Julien
Published: (2025)

Flip Graphs with Symmetry and New Matrix Multiplication Schemes
by: Moosbauer, Jakob, et al.
Published: (2025)

On the Number of Real Types of Univariate Polynomials
by: Faroß, Nicolas, et al.
Published: (2025)

Exploring Commutative Matrix Multiplication Schemes via Flip Graphs
by: Wood, Isaac
Published: (2025)