Related papers: REDUCE package for the indefinite and definite sum…
These notes aim at providing a complete and systematic account of some foundational aspects of algebraic supergeometry, namely, the extension to the geometry of superschemes of many classical notions, techniques and results that make up the…
A summation framework is developed that enhances Karr's difference field approach. It covers not only indefinite nested sums and products in terms of transcendental extensions, but it can treat, e.g., nested products defined over roots of…
Euler's transformation formula for the Gauss hypergeometric function 2F1 is extended to hypergeometric functions of higher order. Unusually, the generalized transformation constrains the hypergeometric function parameters algebraically but…
In this paper, we obtain analytical solutions of Laplace transform based some generalized class of the hyperbolic integrals in terms of hypergeometric functions ${}_3F_2 (\pm1)$, ${}_4F_3 (\pm1)$, ${}_5F_4(\pm1)$, ${}_6F_5(\pm1)$,…
Let $\mathbf{G}$ be either a simple linear algebraic group over an algebraically closed field of positive characteristic or a quantum group at a root of unity. We define new classes of indecomposable $\mathbf{G}$-modules, which we call…
Integral representations of hypergeometric functions proved to be a very useful tool for studying their properties. The purpose of this paper is twofold. First, we extend the known representations to arbitrary values of the parameters and…
In many applications (hupergeometric-type) special functions like orthogonal polynomials are needed. For example in more than 50% of the published solutions for the (application-oriented) questions in the "Problems Section" of SIAM Review…
We shall describe a simple generalization of commutative rings. The category GR of such "rings", contains the ordinary commutative rings (fully faithfully), but also the "integers" and "residue field" at a real or complex place of a field ;…
The paper deals with Henselian valued field with analytic structure. Actually, we are focused on separated analytic structures, but the results remain valid for strictly convergent analytic ones as well. A classical example of the latter is…
By combining well-known techniques from both noncommutative algebra and computational commutative algebra, we observe that an algorithmic approach can be applied to the study of irreducible representations of finitely presented algebras. In…
The determinant of a lower Hessenberg matrix (Hessenbergian) is expressed as a sum of signed elementary products indexed by initial segments of nonnegative integers. A closed form alternative to the recurrence expression of Hessenbergians…
Recently, Feng, Kuznetsov and Yang discovered a very general reduction formula for a sum of products of the generalized hypergeometric functions (J. Math. Anal. Appl. 443(2016), 116--122). The main goal of this note is to present a…
We present a new kind of nontermination argument for linear lasso programs, called geometric nontermination argument. A geometric nontermination argument is a finite representation of an infinite execution of the form $(\vec{x} +…
In symbolic integration, the Risch--Norman algorithm aims to find closed forms of elementary integrals over differential fields by an ansatz for the integral, which usually is based on heuristic degree bounds. Norman presented an approach…
The Riemann zeta function at integer arguments can be written as an infinite sum of certain hypergeometric functions and more generally the same can be done with polylogarithms, for which several zeta functions are a special case. An…
Many properties of a module can be expressed in terms of the dimension of the vector space obtained by applying a finitely presented functor to that module. For example, the dimension of the kernel, image or cokernel of the multiplication…
An algebraic framework in which to study infinite sums is proposed, complementing and augmenting the usual topological tools. The framework subsumes numerous examples in the literature. It is developed using many varied examples, with a…
For the purposes of this paper supercongruences are congruences between terminating hypergeometric series and quotients of $p$-adic Gamma functions that are stronger than those one can expect to prove using commutative formal group laws. We…
The A-hypergeometric system studied by I.M. Gelfand, M.I. Graev, A.V. Zelevinsky and the author, is defined for a set A of characters of an algebraic torus. In this paper we propose a generalization of the theory where the torus is replaced…
A new recursive procedure to compute the Zassenhaus formula up to high order is presented, providing each exponent in the factorization directly as a linear combination of independent commutators and thus containing the minimum number of…