Imagen de Portada

Creative Telescoping for Hypergeometric Double Sums

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Paule, Peter, Schneider, Carsten
Formato:	Preprint
Publicado:	2024
Materias:	Symbolic Computation
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

Creative Telescoping
por: Chen, Shaoshi, et al.
Publicado: (2025)

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

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

Algebraic and Arithmetic Attributes of Hypergeometric Functions in SageMath
por: Caruso, Xavier, et al.
Publicado: (2026)

Asymptotics for the reciprocal and shifted quotient of the partition function
por: Banerjee, Koustav, et al.
Publicado: (2024)

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

Hypergeometric Solutions of Linear Difference Systems
por: Barkatou, Moulay, et al.
Publicado: (2024)

A Novel Algorithm for Representing Positive Semi-Definite Polynomials as Sums of Squares with Rational Coefficients
por: Zeng, Zhenbing, et al.
Publicado: (2025)

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

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

Connectivity in Symmetric Semi-Algebraic Sets
por: Riener, Cordian, et al.
Publicado: (2024)

Semantics of Division for Polynomial Solvers
por: Brown, Christopher W.
Publicado: (2024)

Positivity Proofs for Linear Recurrences through Contracted Cones
por: Ibrahim, Alaa, et al.
Publicado: (2024)

Certifying Phase Abstraction
por: Froleyks, Nils, et al.
Publicado: (2024)

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

Computing Krylov iterates in the time of matrix multiplication
por: Neiger, Vincent, et al.
Publicado: (2024)

A Syzygial Method for Equidimensional Decomposition
por: Mohr, Rafael
Publicado: (2024)

An Abstraction-Preserving Block Matrix Implementation in Maple
por: Jeffrey, David J., et al.
Publicado: (2024)

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

The Recovery of $λ$ from a Hilbert Polynomial
por: Donato, Joseph, et al.
Publicado: (2024)

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

Case Frames and Case-Based Arguments in Statutory Interpretation
por: Araszkiewicz, Michal
Publicado: (2024)

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

Reconciling Explanations in Multi-Model Systems through Probabilistic Argumentation
por: Hong, Shengxin, et al.
Publicado: (2024)

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

Extensions of the Cylindrical Algebraic Covering Method for Quantifiers
por: Nalbach, Jasper, et al.
Publicado: (2024)

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

Bridging Syntax and Semantics of Lean Expressions in E-Graphs
por: Rossel, Marcus, et al.
Publicado: (2024)

Algorithms for Recursive Block Matrices
por: Watt, Stephen M.
Publicado: (2024)

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

Equality of morphic sequences
por: Zantema, Hans
Publicado: (2024)

Faster multivariate integration in D-modules
por: Brochet, Hadrien, 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)

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)

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

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