Related papers: Computer aided solution of the invariance equation…
Let $0<s<1$ and $p>1$ be such that $ps<N$. Assume that $\Omega$ is a bounded domain containing the origin. Staring from the ground state inequality by R. Frank and R. Seiringer we obtain: 1- The following improved Hardy inequality for $p\ge…
Cylindrical algebraic decompositions (CADs) are a key tool for solving problems in real algebraic geometry and beyond. We recently presented a new CAD algorithm combining two advances: truth-table invariance, making the CAD invariant with…
We introduce four invariants of algebraic varieties over imperfect fields, each of which measures either geometric non-normality or geometric non-reducedness. The first objective of this article is to establish fundamental properties of…
We present a new form of the Machin-like formula for $\pi$ that can be generated by using iteration. This form of the Machin-like formula may be promising for computation of the constant $\pi$ due to rapidly increasing integers at each step…
We continue the analysis of the Modular Isomorphism Problem for $2$-generated $p$-groups with cyclic derived subgroup, $p>2$, started in [D. Garc\'ia-Lucas, \'A. del R\'io, and M. Stanojkovski. On group invariants determined by modular…
We introduce geometric invariants for $p$-groups of class $2$ and exponent $p$. We report on their effectiveness in distinguishing among 5-generator $p$-groups of this type.
Integral means are important class of bivariate means. In this paper we prove the very general algorithm for calculation of coefficients in asymptotic expansion of integral mean. It is based on explicit solving the equation of the form…
In our earlier publication we have shown how to compute by iteration a rational number ${u_{2,k}}$ in the two-term Machin-like formula for pi of kind…
This paper describes how to compute equations of plane models of minimal Du Val double planes of general type with $p_g=q=1$ and $K^2=2,...,8.$ A double plane with $K^2=8$ having bicanonical map not composed with the associated involution…
Transformation formulas for four-parameter refinements of the q-trinomial coefficients are proven. The iterative nature of these transformations allows for the easy derivation of several infinite series of q-trinomial identities, and can be…
This paper investigates the exponential Diophantine equation of the form $a^x+b=c^y$, where $a, b, c$ are given positive integers with $a,c \ge 2$, and $x,y$ are positive integer unknowns. We define this form as a "Type-I transcendental…
Parametric linear systems are linear systems of equations in which some symbolic parameters, that is, symbols that are not considered to be candidates for elimination or solution in the course of analyzing the problem, appear in the…
We determine the minimal number of variables $\Gamma^*(d, K)$ which guarantees a nontrivial solution for every additive form of degree $d=4$ over the four ramified quadratic extensions $\mathbb{Q}_2(\sqrt{2}), \mathbb{Q}_2(\sqrt{10}),…
We demonstrate that Gini coefficients can be used as unified metrics to evaluate many-versus-many (all-to-all) similarity in vector spaces. Our analysis of various image datasets shows that images with the highest Gini coefficients tend to…
We consider the variable selection problem in linear regression. Suppose that we have a set of random variables $X_1,...,X_m,Y,\epsilon$ such that $Y=\sum_{k\in \pi}\alpha_kX_k+\epsilon$ with $\pi\subseteq \{1,...,m\}$ and $\alpha_k\in…
A method for the study of steady-state nonlinear modes for Gross-Pitaevskii equation (GPE) is described. It is based on exact statement about coding of the steady-state solutions of GPE which vanish as $x\to+\infty$ by reals. This allows to…
We present an elementary and explicit proof of the separability criterion for continuous variable two-party Gaussian systems. Our proof is based on an elementary formulation of uncertainty relations and an explicit determination of…
In 2006 Carbery raised a question about an improvement on the na\"ive norm inequality $\|f+g\|_p^p \leq 2^{p-1}(\|f\|_p^p + \|g\|_p^p)$ for two functions in $L^p$ of any measure space. When $f=g$ this is an equality, but when the supports…
We use computer algebra to study polynomial identities for the trilinear operation [a,b,c] = abc - acb - bac + bca + cab - cba in the free associative algebra. It is known that [a,b,c] satisfies the alternating property in degree 3, no new…
In this paper we will show that the Gini coefficient and the introduced measure of angular inequality are special cases of a wider indexed family of measurements. We will discuss the properties of the defined class based, inter alia, on a…