Related papers: Deciding summability via residues in theory and in…
Creative telescoping is the method of choice for obtaining information about definite sums or integrals. It has been intensively studied since the early 1990s, and can now be considered as a classical technique in computer algebra. At the…
We investigate the count of meromorphic differentials on the Riemann sphere possessing a single zero, multiple poles with prescribed orders, and fixed residues at each pole. Gendron and Tahar previously examined this problem with respect to…
We study a long-recognised but under-appreciated symmetry called "dynamical similarity" and illustrate its relevance to many important conceptual problems in fundamental physics. Dynamical similarities are general transformations of a…
Let $\Delta_x f(x,y)=f(x+1,y)-f(x,y)$ and $\Delta_y f(x,y)=f(x,y+1)-f(x,y)$ be the difference operators with respect to $x$ and $y$. A rational function $f(x,y)$ is called summable if there exist rational functions $g(x,y)$ and $h(x,y)$…
For $\tau$ the translation automorphism defined by a non-torsion point in an elliptic curve, we consider the elliptic summability problem of deciding whether a given elliptic function $f$ is of the form $f=\tau(g)-g$ for some elliptic…
We formalize the observation that the same summability methods converge in a Banach space $X$ and its dual $X^*$. At the same time we determine conditions under which these methods converge in the weak and weak*-topologies on $X$ and $X^*$…
Sumterms are introduced as syntactic entities, and sumtuples are introduced as semantic entities. Equipped with these concepts a new description is obtained of the notion of a sum as (the name for) a role which can be played by a number.…
We give necessary and sufficient conditions for the existence of telescopers for rational functions of two variables in the continuous, discrete and q-discrete settings and characterize which operators can occur as telescopers. Using this…
The concept of moment differentiation is extended to the class of moment summable functions, giving rise to moment differential properties. The main result leans on accurate upper estimates for the integral representation of the moment…
Digital System Research has pioneered the mathematics and design for a new class of computing machine using residue numbers. Unlike prior art, the new breakthrough provides methods and apparatus for general purpose computation using several…
The article addresses the problem whether indefinite double sums involving a generic sequence can be simplified in terms of indefinite single sums. Depending on the structure of the double sum, the proposed summation machinery may provide…
The semiring of discrete dynamical systems is a simple algebraic model for modularity in deterministic systems. The objects of the semiring are finite transformations (viewed as directed graphs and regarded up to isomorphism), the sum of…
After H\"older proved his classical theorem about the Gamma function, there has been a whole bunch of results showing that solutions to linear difference equations tend to be hypertranscendental i.e. they cannot be solution to an algebraic…
The discreteness problem for finitely generated subgroups of $PSL(2,\mathbb{R})$ and $PSL(2,\mathbb{C})$ is a long-standing open problem. In this paper we consider whether or not this problem is decidable by an algorithm. Our main result is…
We investigate three combinatorial problems considered by Erd\"os, Rivat, Sark\"ozy and Sch\"on regarding divisibility properties of sum sets and sets of shifted products of integers in the context of function fields. Our results in this…
Computation of polynomial relative invariants is a classical tool in algebra. Relative differential invariants are central for the equivalence problem of geometric structures. We address the fundamental problem of finite generation of their…
In this paper, we solve the existence problem of telescopers for rational functions in three discrete variables. We reduce the problem to that of deciding the summability of bivariate rational functions, which has been solved recently. The…
In this paper, we consider a question of sum-keeping about a multiplicative subsemigroup and its generator subsets in a semiring, and develop some elementary (collapse) process of the sum-keeping retraction through subsets until one minimal…
We consider first-order linear difference systems over $\mathbb{C}(x)$, with respect to a difference operator $\sigma$ that is either a shift $\sigma:x\mapsto x+1$, $q$-dilation $\sigma:x\mapsto qx$ with $q\in{\mathbb{C}^\times}$ not a root…
Based on the definition of Riemann definite integral,deleting items and disturbing mesh theorems on Riemann sums are given. After deleting some items or disturbing the mesh of partition, the limit of Riemann sums still converges to Riemann…