The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
From MaRDI portal
Publication:621894
DOI10.1007/978-3-7091-0445-3zbMath1225.00001OpenAlexW4243410516MaRDI QIDQ621894
Publication date: 31 January 2011
Published in: Texts \& Monographs in Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-7091-0445-3
Symbolic computation and algebraic computation (68W30) Exact enumeration problems, generating functions (05A15) Recurrences (11B37) Mathematics in general (00A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematics in general (00-01)
Related Items (82)
Synthesis with asymptotic resource bounds ⋮ Recursive sequences attached to modular representations of finite groups ⋮ The \(C\)-finite ansatz ⋮ The resultant, the discriminant, and the derivative of generalized Fibonacci polynomials ⋮ Automated counting of restricted Motzkin paths ⋮ Symbolic conversion of holonomic functions to hypergeometric type power series ⋮ D-finite numbers ⋮ Weighted \(L^2\)-norms of Gegenbauer polynomials ⋮ Discovering and Proving Infinite Pochhammer Sum Identities ⋮ Enumerating solutions to grid-based puzzles with a fixed number of rows ⋮ Some open problems related to creative telescoping ⋮ Iterated binomial sums and their associated iterated integrals ⋮ Walks with small steps in the 4D-orthant ⋮ Laguerre-Freud equations for Generalized Hahn polynomials of type I ⋮ Reduction-based creative telescoping for Fuchsian D-finite functions ⋮ Formal Laurent series in several variables ⋮ Hypergeometric structures in Feynman integrals ⋮ Hermite Reduction for D-finite Functions via Integral Bases ⋮ Boolean cumulants and subordination in free probability ⋮ Approximation of differential operators with boundary conditions ⋮ Enumeration of words that contain the pattern 123 exactly once ⋮ Lonely points in simplices ⋮ Truncated Hermite polynomials ⋮ Order bounds for C2-finite sequences ⋮ From Polynomial Invariants to Linear Loops ⋮ The Membership Problem for Hypergeometric Sequences with Quadratic Parameters ⋮ A Jentzsch-theorem for Kapteyn, Neumann and general Dirichlet series ⋮ On the representability of sequences as constant terms ⋮ Interview with Peter Paule ⋮ A computable extension for D-finite functions: DD-finite functions ⋮ Game of pure chance with restricted boundary ⋮ Trading order for degree in creative telescoping ⋮ On the \(p\)-adic properties of \(2\)-sected sums involving binomial coefficients ⋮ The probabilistic termination tool amber ⋮ Solving invariant generation for unsolvable loops ⋮ Polynomial reduction for holonomic sequences and applications in \(\pi\)-series and congruences ⋮ An explanation of Mellin's 1921 paper ⋮ A unified approach to derive explicit solutions of generalized second-order linear recurrences and applications ⋮ Removing apparent singularities of linear difference systems ⋮ Enumeration of labelled 4-regular planar graphs. II: Asymptotics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops ⋮ A multi-computational exploration of some games of pure chance ⋮ A difference ring theory for symbolic summation ⋮ Automated termination analysis of polynomial probabilistic programs ⋮ Termination of polynomial loops ⋮ Renormalization of non-singlet quark operator matrix elements for off-forward hard scattering ⋮ Algebra-based synthesis of loops and their invariants (invited paper) ⋮ Properties of powers of functions satisfying second-order linear differential equations with applications to statistics ⋮ Binomial determinants for tiling problems yield to the holonomic ansatz ⋮ On Invariance Properties of Entries of Matrix Powers ⋮ Orthogonal Polynomials ⋮ Generalisations of the Harer-Zagier recursion for 1-point functions ⋮ Using nonlinear difference equations to study Quicksort algorithms ⋮ Analytic combinatorics of lattice paths with forbidden patterns, the vectorial kernel method, and generating functions for pushdown automata ⋮ Entropy of tropical holonomic sequences ⋮ Asymptotic enumeration of compacted binary trees of bounded right height ⋮ The binomial transform of p-recursive sequences and the dilogarithm function ⋮ When the Search for Solutions Can Be Terminated ⋮ Large Scale Analytic Calculations in Quantum Field Theories ⋮ Untying the Gordian Knot via Experimental Mathematics ⋮ Stam’s Identities Collection: A Case Study for Math Knowledge Bases ⋮ DD-finite functions in Sage ⋮ Inhomogeneous restricted lattice walks ⋮ Some structural results on \(\mathrm{D}^n\)-finite functions ⋮ How to generate as many Somos-like miracles as you wish† ⋮ Holonomic relations for modular functions and forms: First guess, then prove ⋮ Truncation bounds for differentially finite series ⋮ Periodic Pólya urns, the density method and asymptotics of Young tableaux ⋮ Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order ⋮ Creative Telescoping for Holonomic Functions ⋮ Relativistic Coulomb Integrals and Zeilberger’s Holonomic Systems Approach. I ⋮ An algorithm to prove holonomic differential equations for modular forms ⋮ An extension of holonomic sequences: \(C^2\)-finite sequences ⋮ Proving Two Conjectural Series for $$\zeta (7)$$ and Discovering More Series for $$\zeta (7)$$ ⋮ DD-Finite Functions Implemented in Sage ⋮ A comparison of algorithms for proving positivity of linearly recurrent sequences ⋮ On existence and uniqueness of formal power series solutions of algebraic ordinary differential equations ⋮ Uniqueness of Clifford torus with prescribed isoperimetric ratio ⋮ The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals
Uses Software
This page was built for publication: The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
