Creative Telescoping for Holonomic Functions (Q5244921)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 6422048

Language	Label	Description	Also known as
English	Creative Telescoping for Holonomic Functions	scientific article; zbMATH DE number 6422048

Statements

scholarly article

0 references

Creative Telescoping for Holonomic Functions (English)

0 references

Christoph Koutschan

0 references

Texts & Monographs in Symbolic Computation

0 references

publication date

1 April 2015

0 references

full work available at URL

https://arxiv.org/abs/1307.4554

0 references

MaRDI profile type

MaRDI publication profile

0 references

When does Zeilberger's algorithm succeed?

0 references

A criterion for the applicability of Zeilberger's algorithm to rational functions

0 references

The method of differentiating under the integral sign

0 references

Hypergeometric series acceleration via the WZ method

0 references

A pretty binomial identity

0 references

THE ITERATED INTEGRALS OF <font>ln</font>(1 + x<sup>n</sup>)

0 references

Some questions concerning computer-generated proofs of a binomial double- sum identity

0 references

Plane partitions. VI: Stembridge's TSPP theorem

0 references

Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory

0 references

Hypergeometric summation algorithms for high-order finite elements

0 references

A computer proof of a polynomial identity implying a partition theorem of Göllnitz

0 references

The analytic continuation of generalized functions with respect to a parameter

0 references

Sparse shape functions for tetrahedral \(p\)-FEM using integrated Jacobi polynomials

0 references

Sparsity optimized high order finite element functions for \(H(\mathrm{curl})\) on tetrahedra

0 references

Algorithms for \(q\)-hypergeometric summation in computer algebra

0 references

0 references

Complexity of creative telescoping for bivariate rational functions

0 references

Explicit formula for the generating series of diagonal 3D rook paths

0 references

Ising<i>n</i>-fold integrals as diagonals of rational functions and integrality of series expansions

0 references

Hermite reduction and creative telescoping for hyperexponential functions

0 references

Creative telescoping for rational functions using the griffiths

0 references

0 references

0 references

A Macsyma implementation of Zeilberger's fast algorithm

0 references

Order-degree curves for hypergeometric creative telescoping

0 references

Trading order for degree in creative telescoping

0 references

Residues and telescopers for bivariate rational functions

0 references

A telescoping method for double summations

0 references

On the existence of telescopers for mixed hypergeometric terms

0 references

Telescopers for rational and algebraic functions via residues

0 references

0 references

An extension of Zeilberger's fast algorithm to general holonomic functions

0 references

Non-commutative elimination in Ore algebras proves multivariate identities

0 references

A non-holonomic systems approach to special function identities

0 references

Third order integrability conditions for homogeneous potentials of degree −1

0 references

0 references

0 references

Irreducibility of \(q\)-difference operators and the knot \(7_{4}\)

0 references

The colored Jones function is \(q\)-holonomic

0 references

THE NON-COMMUTATIVE A-POLYNOMIAL OF TWIST KNOTS

0 references

0 references

0 references

Generators of some Ramanujan formulas

0 references

Proving hypergeometric identities by numerical verifications

0 references

Zeilberger's holonomic ansatz for Pfaffians

0 references

Non-commutative Gröbner bases in algebras of solvable type

0 references

Summation algorithms for Stirling number identities

0 references

The Holonomic Toolkit

0 references

The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates

0 references

Automated proofs for some Stirling number identities

0 references

Algorithms for \(m\)-fold hypergeometric summation

0 references

REDUCE package for the indefinite and definite summation

0 references

0 references

Representations of orthogonal polynomials

0 references

On Zeilberger's algorithm and its \(q\)-analogue

0 references

Identities of nonterminating series by Zeilberger's algorithm

0 references

Advanced applications of the holonomic systems approach

0 references

Eliminating Human Insight: An Algorithmic Proof of Stembridge's TSPP Theorem

0 references

A fast approach to creative telescoping

0 references

Lattice Green functions of the higher-dimensional face-centered cubic lattices

0 references

0 references

Advanced computer algebra for determinants

0 references

Proof of George Andrews’s and David Robbins’s <i>q</i> -TSPP conjecture

0 references

Computer Algebra Meets Finite Elements: An Efficient Implementation for Maxwell’s Equations

0 references

A computer proof of a series evaluation in terms of harmonic numbers

0 references

WZ-style certification and sister celine's technique for abel-type sums

0 references

Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms

0 references

Theory of non-commutative polynomials

0 references

Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type

0 references

0 references

A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities

0 references

Relativistic Coulomb Integrals and Zeilberger’s Holonomic Systems Approach. I

0 references

0 references

Descendants in heap ordered trees or a triumph of computer algebra

0 references

0 references

\texttt{qMultiSum} -- a package for proving \(q\)-hypergeometric multiple summation identities

0 references

Simplifying Multiple Sums in Difference Fields

0 references

A concise formula for generalized two-qubit Hilbert–Schmidt separability probabilities

0 references

Binomial identities -- combinatorial and algorithmic aspects

0 references

MultInt, a MAPLE package for multiple integration by the WZ method

0 references

A proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report

0 references

An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)'') multisum/integral identities

0 references

A two-line algorithm for proving terminating hypergeometric identities

0 references

A two-line algorithm for proving \(q\)-hypergeometric identities

0 references

A fast algorithm for proving terminating hypergeometric identities

0 references

A holonomic systems approach to special functions identities

0 references

The method of creative telescoping

0 references

The holonomic ansatz. II: Automatic discovery(!) and proof(!!) of holonomic determinant evaluations

0 references

Recurrence and Pólya Number of General One-Dimensional Random Walks

0 references

An Apéry-like difference equation for Catalan's constant

0 references

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-7091-1616-6_7

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5244921

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5244921&oldid=35448312"