Related papers: A Generalized Apagodu-Zeilberger Algorithm
We express the Riemann zeta function $\zeta\left(s\right)$ of argument $s=\sigma+i\tau$ with imaginary part $\tau$ in terms of three absolutely convergent series. The resulting simple algorithm allows to compute, to arbitrary precision,…
We consider A-hypergeometric functions associated to normal sets in the plane. We give a classification of all point configurations for which there exists a parameter vector such that the associated hypergeometric function is algebraic. In…
A unifying scheme of classical special functions of hypergeometric type obeying orthogonality or biorthogonality relations is described. It expands the Askey scheme of classical orthogonal polynomials and its $q$-analogue based on the…
We compute the Artin $L$-function of a diagonal hypersurface D_{\lambda} over a finite field associated to a character of a finite group acting on D_{\lambda} , and under some condition, express it in terms of hypergeometric functions and…
We present a generic partition refinement algorithm that quotients coalgebraic systems by behavioural equivalence, an important task in system analysis and verification. Coalgebraic generality allows us to cover not only classical…
Wilf-Zeilberger pairs are fundamental in the algorithmic theory of Wilf and Zeilberger for computer-generated proofs of combinatorial identities. Wilf-Zeilberger forms are their high-dimensional generalizations, which can be used for…
A method for construction of analytic function f of the annihilation operator is given for the first time. f(z) is analytic on some compact domain that does not separate the complex plane. A new form of the identity is given, which is well…
We present a partial proof of van Hoeij-Abramov conjecture about the algorithmic possibility of computation of finite sums of rational functions. The theoretical results proved in this paper provide an algorithm for computation of a large…
Operator-valued frames are natural generalization of frames that have been used in quantum computing, packets encoding, etc. In this paper, we focus on developing the theory about operator-valued frames for finite Hilbert spaces. Some…
We develop a version of Herbrand's theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable…
General elliptic hypergeometric functions are defined by elliptic hypergeometric integrals. They comprise the elliptic beta integral, elliptic analogues of the Euler-Gauss hypergeometric function and Selberg integral, as well as elliptic…
We develop general expressions for the raising and lowering operators that belong to the orthogonal polynomials of hypergeometric type with discrete and continuous variable. We construct the creation and annihilation operators that…
The concept of a universal algorithm is discussed. Examples of this kind of algorithms are presented. Software implementations of such algorithms in C++ type languages are discussed together with means that provide for computations with an…
Automatic algorithms attempt to provide approximate solutions that differ from exact solutions by no more than a user-specified error tolerance. This paper describes an automatic, adaptive algorithm for approximating the solution to a…
We introduce a kind of finite truncation of the hypergeometric series and provide its discretized integral representation. This is motivated by recent results of Maesaka-Seki-Watanabe and Hirose-Matsusaka-Seki on the identity between…
We define a hypergeometric function over finite fields which is an analogue of the classical generalized hypergeometric series. We prove that this function satisfies many transformation and summation formulas. Some of these results are…
computable functions are defined by abstract finite deterministic algorithms on many-sorted algebras. We show that there exist finite universal algebraic specifications that specify uniquely (up to isomorphism) (i) all abstract computable…
We introduce and study new versions of polylogarithms and a zeta function on a completion of $\mathbb F_q (x)$ at a finite place. The construction is based on the use of the Carlitz differential equations for $\mathbb F_q$-linear functions.
In this paper we solve the problem on finding a sectionally Clifford algebra-valued harmonic function, zero at infinity and satisfying certain boundary value condition related to higher order Lipschitz functions. Our main tool are the Hardy…
In this paper, we investigate the Euler-type integral representations for the generalized hypergeometric matrix function and develop some transformations in terms of hypergeometric matrix functions. Furthermore, unit and half arguments have…