相关论文: Computer aided solution of the invariance equation…

In this paper, we propose a compositional nonparametric method in which a model is expressed as a labeled binary tree of $2k+1$ nodes, where each node is either a summation, a multiplication, or the application of one of the $q$ basis…

The rank two Jacobi algebra $\mathcal{J}_2$ is used to provide an interpretation of the two-variable Jacobi polynomials $J_{n,k}^{(a,b,c)}(x,y)$ on the triangle, as overlaps between two representation bases. The subalgebra structure of…

We use computer algebra to determine the Lie invariants of degree <= 12 in the free Lie algebra on two generators corresponding to the natural representation of the simple 3-dimensional Lie algebra sl(2,C). We then consider the free Lie…

Let $p,q$ be functions on $\mathbb{R}^{N}$ satisfying $1\ll q\ll p\ll N$, we consider $p(x)$-Laplacian problems of the form \[ \left\{ \begin{array} [c]{l}% -\Delta_{p(x)}u+V(x)\vert u\vert ^{p(x)-2}u=\lambda\vert u\vert…

In this paper, authors study the generalized complete $(p,q)$-elliptic integrals of the first and the second kind as an application of generalized trigonometric functions with two parameters, and establish the Tur\'an type inequalities of…

The problem of classifying linear systems of conics in projective planes dates back at least to Jordan, who classified pencils (one-dimensional systems) of conics over $\mathbb{C}$ and $\mathbb{R}$ in 1906--1907. The analogous problem for…

We consider each of the three classes of representations of cyclic groups that arise in the study of rational sphere maps. We study the possible number of terms for invariant polynomials with non-negative coefficients that are constant on…

Uncertainty is unavoidable in modeling dynamical systems and it may be represented mathematically by differential inclusions. In the past, we proposed an algorithm to compute validated solutions of differential inclusions; here we provide…

The paper proposes new second-order accuracy metrics for scoring or rating models, which show the target preference of the model, it is better to diagnose good objects or better to diagnose bad ones for a constant generally accepted…

We establish coNExpTime-completeness of the problem of deciding order-invariance of a given two variable first-order formula, improving and significantly simplifying coTwoNExpTime bound by Zeume and Harwath.

The aim of this sequence of work is to investigate polynomial equations satisfied by additive functions. As a result of this, new characterization theorems for homomorphisms and derivations can be given. More exactly, in this paper the…

Polygonal lines are used for the paths of the gluon field phase factors entering in the definition of gauge invariant quark Green's functions. This allows classification of the Green's functions according to the number of segments the…

Let $S$ be a semigroup. We determine the complex-valued solutions $f,g,h$ of the functional equation \begin{equation*}f(xy)=f(x)g(y)+g(x)f(y)+h(x)h(y), x,y\in S,\end{equation*} in terms of multiplicative functions, solutions of the special…

Gini index is a widely used measure of economic inequality. This article develops a general theory for constructing a confidence interval for Gini index with a specified confidence coefficient and a specified width. Fixed sample size…

We consider the algebra of invariants of binary forms of degree 9 with complex coefficients, find the 92 basic invariants, give an explicit system of parameters and show the existence of four more systems of parameters with different sets…

This paper deals with some classes of Kirchhoff type problems on a double phase setting and with nonlinear boundary conditions. Under general assumptions, we provide multiplicity results for such problems in the case when the perturbations…

We study the transference through finite index extensions of the notion of equational coherence, as well as its effective counterpart. We deduce an explicit algorithm for solving the following algorithmic problem about size two integral…

We present a novel verification technique to prove interesting properties of a class of array programs with a symbolic parameter N denoting the size of arrays. The technique relies on constructing two slightly different versions of the same…

Type B 3-fold supersymmetry is a necessary and sufficient condition for a quantum Hamiltonian to admit three linearly independent local solutions in closed form. We show that any such a system is invariant under GL(3,C) homogeneous linear…

The procedure to find gauge invariant variables for two-parameter nonlinear perturbations in general relativity is considered. For each order metric perturbation, we define the variable which is defined by the appropriate combination with…