A computer proof of Turán's inequality.
A proof of a conjecture of Knuth.
About a new kind of Ramanujan-type series.
Accelerated series for universal constants, by the WZ method.
An Apéry-like difference equation for Catalan's constant.
Analytic and combinatoric aspects of Hurwitz polyzêtas
In this work, a symbolic encoding of generalized Di-richlet generating series is found thanks to combinatorial techniques of noncommutative rational power series. This enables to explicit periodic generalized Dirichlet generating series – particularly the coloured polyzêtas – as linear combinations of Hurwitz polyzêtas. Moreover, the noncommutative version of the convolution theorem gives easily rise to an integral representation of Hurwitz polyzêtas. This representation enables us to build the...
Apéry's double sum is plain sailing indeed.
Computer-free evaluation of an infinite double sum via Euler sums.
Finite Rogers-Ramanujan type identities.
Generalized reciprocity laws for sums of harmonic numbers.
Generating function identities for , via the WZ method.
Harmonic interpolation based on Radon projections along the sides of regular polygons
Given information about a harmonic function in two variables, consisting of a finite number of values of its Radon projections, i.e., integrals along some chords of the unit circle, we study the problem of interpolating these data by a harmonic polynomial. With the help of symbolic summation techniques we show that this interpolation problem has a unique solution in the case when the chords form a regular polygon. Numerical experiments for this and more general cases are presented.
Historia de las fórmulas y algoritmos para n.
Human proofs of identities by Osburn and Schneider.
HYPERG: a Maple package for manipulating hypergeometric series.
In praise of an elementary identity of Euler.
Infinite families of accelerated series for some classical constants by the Markov-WZ Method.
Nested derivatives: a simple method for computing series expansions of inverse functions.
On the modes of polynomials derived from nondecreasing sequences.
Ratio monotonicity of polynomials derived from nondecreasing sequences.