Related papers: Bases of Solutions for Linear Congruences
In this note we develop a coalgebraic approach to the study of solutions of linear difference equations over modules and rings. Some known results about linearly recursive sequences over base fields are generalized to linearly (bi)recursive…
Let $H$ be a real Hilbert space. In this short note, using some of the properties of bounded linear operators with closed range defined on $H$, certain bounds for a specific convex subset of the solution set of infinite linear…
Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms, and recent years have seen a number of proposals of program logics for proving it. Although these logics differ in technical details, they…
In the present paper the smoothness loss of a continuation of solutions to convolution equations is studied. Also examples for some kinds of convolvers are given.
In this paper we generalize the fundamental equation of information to the symmetric cone domain and find general solution under the assumption of continuity of respective functions.
The purpose of this paper is to establish the regularity the weak solutions for a nonlinear biharmonic equation.
We present a collection of results on the evolution by curvature of networks of planar curves. We discuss in particular the existence of a solution and the analysis of singularities.
In this paper we prove some new series for $1/\pi$ as well as related congruences. We also raise several new kinds of series for $1/\pi$ and present some related conjectural congruences involving representations of primes by binary…
Linear approximations to the decision boundary of a complex model have become one of the most popular tools for interpreting predictions. In this paper, we study such linear explanations produced either post-hoc by a few recent methods or…
We prove that a tolerance relation of a lattice is a homomorphic image of a congruence relation.
The main purpose of the present paper is to study the numerical properties of supersolvable resolutions of line arrangements. We provide upper-bounds on the so-called extension to supersolvability numbers for certain extreme line…
Some congruence relations satisfied by the theta series associated with the Leech lattice are given.
Linear differential equations of arbitrary order with polynomial coefficients are considered. Specifically, necessary and sufficient conditions for the existence of polynomial solutions of a given degree are obtained for these equations. An…
We consider positive singular solutions to semilinear elliptic problems with possibly singular nonlinearity. We deduce symmetry and monotonicity properties of the solutions via the moving plane procedure.
The conditions determining that two triangles are congruent play a basic role in planimetry. By comparing not congruent triangles with respect to given sets of corresponding elements it is important to discover if they have any common…
This paper discusses the interplay of symmetries and stability in the analysis and control of nonlinear dynamical systems and networks. Specifically, it combines standard results on symmetries and equivariance with recent convergence…
We establish the boundedness character of solutions of a system of rational difference equations with a variable coefficient
The direct linearization structure is presented of a "mild" but significant generalization of the lattice BSQ system. Some of the equations in this system were recently discovered in [J. Hietarinta, J. Phys {\bf A}: Math. Theor. {\bf 44}…
We prove that the Eulerian polynomial satisfies certain polynomial congruences. Furthermore, these congruences characterize the Eulerian polynomial.
Some inequalities for different types of convexity are established.