HolonomicFunctions
From MaRDI portal
swMATH6666MaRDI QIDQ18752FDOQ18752
Author name not available (Why is that?)
Official website: http://www.risc.jku.at/research/combinat/software/HolonomicFunctions/
Cited In (only showing first 100 items - show all)
- Sparsity optimized high order finite element functions for \(H(\mathrm{curl})\) on tetrahedra
- Sparsity optimized high order finite element functions for H(div) on simplices
- Telescopers for rational and algebraic functions via residues
- Iterated binomial sums and their associated iterated integrals
- A hypergeometric inequality
- The \(\mathfrak {sl}_{3}\) Jones polynomial of the trefoil: a case study of \(q\)-holonomic sequences
- Apparent singularities of D-finite systems
- On some combinatorial sequences associated to invariant theory
- Third order integrability conditions for homogeneous potentials of degree \(-1\)
- Desingularization in the \(q\)-Weyl algebra
- The evaluation of a quartic integral via Schwinger, Schur and Bessel
- The real-rootedness of generalized Narayana polynomials related to the Boros-Moll polynomials
- On 3-dimensional lattice walks confined to the positive octant
- Twisting \(q\)-holonomic sequences by complex roots of unity
- Heun functions and diagonals of rational functions
- Using Noonan-Zeilberger functional equations to enumerate (in polynomial time!) generalized Wilf classes
- Inverse inequality estimates with symbolic computation
- Advanced computer algebra for determinants
- On Christol’s conjecture
- On a conjecture of Cusick concerning the sum of digits of \(n\) and \(n+t\)
- Holonomic tools for basic hypergeometric functions
- A curious family of binomial determinants that count rhombus tilings of a holey hexagon
- A constructive approach to arithmetics in Ore localizations
- gfun
- Quantum Riemann surfaces in Chern-Simons theory
- JAS
- Mgfun
- OreModules
- SIGMA
- SF
- HISTABRUT
- ComputeBelyi
- hgm R
- Guess
- OreMorphisms
- Knot Atlas
- ROBBINS
- SMCper
- DODGSON
- Asymptotics
- BinomialCoefficients
- GeneratingFunctions
- MultiSum
- FPS
- NLControl
- OreAlgebraicAnalysis
- OreTools
- DET
- F123
- F1234
- F12345
- Guess.m
- HalfLine
- LinearSystemSolver
- P123
- P1234
- P12345
- P123456
- OneDimWalks
- QuarterPlane
- Walks
- WalkCarefully
- DEtools
- stCore
- olga.lib
- qTSPP
- UrnSolitaire
- TDDS
- ore_algebra
- RhoSum
- dmodloc.lib
- dmod.lib
- dmodapp.lib
- On the average complexity for the verification of compatible sequences
- Computer algebra meets finite elements: an efficient implementation for Maxwell's equations
- Advanced applications of the holonomic systems approach. (Abstract of thesis)
- Diagonals of rational functions and selected differential Galois groups
- Algebraic analysis of the hypergeometric function \(_1F_1\) of a matrix argument
- Creative telescoping on multiple sums
- Harmonic interpolation based on Radon projections along the sides of regular polygons
- Integrable planar homogeneous potentials of degree \(- 1\) with small eigenvalues
- Algorithms for minimal Picard-Fuchs operators of Feynman integrals
- Irreducibility of \(q\)-difference operators and the knot \(7_{4}\)
- The \(O(\alpha^2)\) initial state QED corrections to \(e^+ e^- \to \gamma^\ast / Z_0^\ast \)
- Ore polynomials in Sage
- Refined holonomic summation algorithms in particle physics
- Calculation and properties of zonal polynomials
- A bound for the error term in the Brent-McMillan algorithm
- Walsh functions, scrambled \(( 0 , m , s )\)-nets, and negative covariance: applying symbolic computation to quasi-Monte Carlo integration
- Binomial determinants for tiling problems yield to the holonomic ansatz
- Computation of the expected Euler characteristic for the largest eigenvalue of a real non-central Wishart matrix
- Bounds for D-finite closure properties
- The polarized two-loop massive pure singlet Wilson coefficient for deep-inelastic scattering
- The unpolarized two-loop massive pure singlet Wilson coefficients for deep-inelastic scattering
- Diagonal asymptotics for symmetric rational functions via ACSV
- Algebraic analysis of rotation data
- Apéry limits for elliptic \(L\)-values
- Holonomic relations for modular functions and forms: First guess, then prove
- Algebraic and symbolic computation methods in dynamical systems. Based on articles written for the invited sessions of the 5th symposium on system structure and control, IFAC, Grenoble, France, February 4--6, 2013 and of the 21st international symposium on mathematical theory of networks and systems (MTNS 2014), Groningen, the Netherlands, July 7--11, 2014
- Constructive arithmetics in Ore localizations of domains
This page was built for software: HolonomicFunctions
