Advanced applications of the holonomic systems approach
From MaRDI portal
Publication:5176473
DOI10.1145/1823931.1823954zbMath1344.68301OpenAlexW2000852057MaRDI QIDQ5176473
Publication date: 26 February 2015
Published in: ACM Communications in Computer Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1823931.1823954
Symbolic computation and algebraic computation (68W30) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)
Related Items
From integrals to multi-sum identities, Exploring general Apéry limits via the Zudilin–Straub t-transform, Feynman integrals and mirror symmetry, There are EXACTLY 1493804444499093354916284290188948031229880469556 Ways to Derange a Standard Deck of Cards (Ignoring Suits) [and Many Other Such Useful Facts], Inverse inequality estimates with symbolic computation, Identities for Bernoulli polynomials related to multiple Tornheim zeta functions, On some combinatorial sequences associated to invariant theory, Advanced computer algebra for determinants, Irreducibility of \(q\)-difference operators and the knot \(7_{4}\), Laguerre-Freud equations for Generalized Hahn polynomials of type I, Reduction-based creative telescoping for Fuchsian D-finite functions, Tweaking the Beukers integrals in search of more miraculous irrationality proofs a la Apéry, Recurrences for Callan's generalization of Narayana polynomials, Holonomic representation of biadjoint scalar amplitudes, Holonomic functions and prehomogeneous spaces, Sequences in overpartitions, Trading order for degree in creative telescoping, Computation of the expected Euler characteristic for the largest eigenvalue of a real non-central Wishart matrix, Recurrences for quadrilateral high-order finite elements, Feynman integral reduction using Gröbner bases, Peacock patterns and resurgence in complex Chern-Simons theory, Harmonic interpolation based on Radon projections along the sides of regular polygons, A diagrammatic approach to the AJ conjecture, \(\epsilon\)-expansion of multivariable hypergeometric functions appearing in Feynman integral calculus, A symbolic summation approach to Feynman integral calculus, Effective Algebraic Analysis Approach to Linear Systems over Ore Algebras, The 1958 Pekeris-Accad-WEIZAC ground-breaking collaboration that computed ground states of two-electron atoms (and its 2010 redux), Binomial determinants for tiling problems yield to the holonomic ansatz, Orthogonality of the Dickson polynomials of the $(k+1)$-th kind, Integrable planar homogeneous potentials of degree \(- 1\) with small eigenvalues, Congruences and telescopings of P-recursive sequences, The real-rootedness of generalized Narayana polynomials related to the Boros-Moll polynomials, On a ratio monotonicity conjecture of a new kind of numbers, Matrices with eigenvectors in a given subspace, Walsh functions, scrambled \(( 0 , m , s )\)-nets, and negative covariance: applying symbolic computation to quasi-Monte Carlo integration, A fast approach to creative telescoping, Formal residue and computer-assisted proofs of combinatorial identities, The complete generating function for Gessel walks is algebraic, The \(\mathfrak {sl}_{3}\) Jones polynomial of the trefoil: a case study of \(q\)-holonomic sequences, Report from the open problems session at OPSFA13, Sequences, modular forms and cellular integrals, A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method, Creative telescoping on multiple sums, A Sequence of Polynomials Generated by a Kapteyn Series of the Second Kind, Difference Equation Theory Meets Mathematical Finance, DD-finite functions in Sage, Rational solutions of first-order algebraic ordinary difference equations, 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, Eckardt Loci on Hypersurfaces, DD-Finite Functions Implemented in Sage, Cylindric partitions and some new $A_2$ Rogers–Ramanujan identities, Holonomic Anti-Differentiation and Feynman Amplitudes, Third order integrability conditions for homogeneous potentials of degree −1
Uses Software
