Related papers: Computer aided solution of the invariance equation…

In this work, we consider the properties of the two-term Machin-like formula and develop an algorithm for computing digits of $\pi$ by using its rational approximation. In this approximation, both terms are constructed by using a…

We give a methodology for solving the chiral equations $(\alpha g_{,z} g^{-1})_{,\overline z} + (\alpha g_{,\overline z} g^{-1})_{,z} \ = \ 0 $ where $g$ belongs to some Lie group $G$. The solutions are writing in terms of Harmonic maps.…

We consider a translation invariant linear equation in four variables with integer coefficients of the form: $ax_1 +bx_2= cy_1+dy_2$. The main result of the paper states that any set on the real line with Fourier dimension greater than 1/2…

This short expository paper outlines applications of computer algebra to the implication problem of conditional independence for Gaussian random variables. We touch on certificates for validity and invalidity of inference rules from the…

Let $k\ge1$ be an integer, and $(M,g)$ be a smooth, closed Riemannian manifold of dimension $2k+1\le n\le 2k+3$, or $(M,g)$ be locally conformally flat of dimension $n\ge 2k+1$. Applying the Bahri-Coron barycenter method, we show the…

We study the Gaussian and robust covariance estimation, assuming the true covariance matrix to be a Kronecker product of two lower dimensional square matrices. In both settings we define the estimators as solutions to the constrained…

We study integrals over Hermitian supermatrices of arbitrary size $p+q$, that are parametrized by an external field $X$ and a source $Y$, of respective size $m+n$ and $p+q$. We show that these integrals exhibit a simple topological…

In the first part of planned series of papers the formal general solutions to selection of 80 examples of different types of second order nonlinear PDEs in two independent variables with constant parameters are given. The main goal here is…

We analyze gauge parameter dependence by using an algebraic method which relates the gauge parameter dependence of Green functions to an enlarged Slavnov-Taylor identity. In the course of the renormalization it turns out that gauge…

By using the algebraic separability criterion of R. Simon, we present an explicit determination of squeezing parameters for which the P-representation condition saturates the $Sp(2,R)\otimes Sp(2,R)$ invariant separability condition for…

The distribution of errors is a central object in the assesment and benchmarking of computational chemistry methods. The popular and often blind use of the mean unsigned error as a benchmarking statistic leads to ignore distributions…

Let $\mu$ be a $p$-dimensional vector, and let $\Sigma_1$ and $\Sigma_2$ be $p \times p$ positive definite covariance matrices. On being given random samples of sizes $N_1$ and $N_2$ from independent multivariate normal populations…

In this article, we examine two double-phase variable exponent problems, each formulated within a distinct framework. The first problem is non-variational, as the nonlinear term may depend on the gradient of the solution. The first main…

Invariant and equivariant models incorporate the symmetry of an object to be estimated (here non-parametric regression functions $f : \mathcal{X} \rightarrow \mathbb{R}$). These models perform better (with respect to $L^2$ loss) and are…

Simultaneous estimation of multiple parameters is required in many practical applications. A lower bound on the variance of simultaneous estimation is given by the quantum Fisher information matrix. This lower bound is, however, not…

In this article we present two new algorithms to compute the Groebner basis of an ideal that is invariant under certain permutations of the ring variables and which are both implemented in SINGULAR (cf. [DGPS12]). The first and major…

Computer algebra algorithms are developed for evaluating the coefficients in Airy-type asymptotic expansions that are obtained from integrals with a large parameter. The coefficients are defined from recursive schemes obtained from…

We propose a general framework for inconsistency-tolerant query answering within existential rule setting. This framework unifies the main semantics proposed by the state of art and introduces new ones based on cardinality and majority…

For a class of quasilinear elliptic equations involving the p-Laplace operator, we develop an abstract critical point theory in the presence of sub-supersolutions. Our approach is based upon the proof of the invariance under the gradient…

Algorithms for the numerical evaluation of the incomplete gamma function ratios $P(a,x)=\gamma(a,x)/\Gamma(a)$ and $Q(a,x)=\Gamma(a,x)/\Gamma(a)$ are described for positive values of $a$ and $x$. Also, inversion methods are given for…