Related papers: Computer aided solution of the invariance equation…

An inductive inference system for proving validity of formulas in the initial algebra $T_{\mathcal{E}}$ of an order-sorted equational theory $\mathcal{E}$ is presented. It has 20 inference rules, but only 9 of them require user interaction;…

The resolvability of equations in integers containing truncated Newton's binomial, is determined by the divisibility of the binomial by the characteristic parameters of the equation, which most often is the binomial exponent. Two types of…

Integral linear systems $Ax=b$ with matrices $A$, $b$ and solutions $x$ are also required to be in integers, can be solved using invariant factors of $A$ (by computing the Smith Canonical Form of $A$). This paper explores a new problem…

In his solution of Hilbert's 17th problem Artin showed that any positive definite polynomial in several variables can be written as the quotient of two sums of squares. Later Reznick showed that the denominator in Artin's result can always…

We accurately compute the RG exponents $Y_q$ of large $q$ fields at the $O(2)$ invariant fixed point in three dimensions. We build on an iterative approach that has been previously proposed and is implemented by using the worm algorithm. We…

We present a computer assisted method for generating existence proofs and a posteriori error bounds for solutions to two point boundary value problems (BVPs). All truncation errors are accounted for and, if combined with interval arithmetic…

Unit two-variable-per-inequality (UTVPI) constraints form one of the largest class of integer constraints which are polynomial time solvable (unless P=NP). There is considerable interest in their use for constraint solving, abstract…

Two $(p,q)$-Laplace transforms are introduced and their relative properties are stated and proved. Applications are made to solve some $(p,q)$-linear difference equations.

We propose a new method for solution of the integrability problem for evolutionary differential-difference equations of arbitrary order. It enables us to produce necessary integrability conditions, to determine whether a given equation is…

At scattered places in his first notebook, Ramanujan recorded the values for 107 class invariants or irreducible monic polynomials satisfied by them. On pages 294-299 in his second notebook, he gave a table of values for 77 class invariants…

In this paper, the $(p,q)$-derivative and the $(p,q)$-integration are investigated. Two suitable polynomials bases for the $(p,q)$-derivative are provided and various properties of these bases are given. As application, two $(p,q)$-Taylor…

We describe how to compute topological objects associated to a polynomial map of several complex variables with isolated singularities. These objects are: the affine critical values, the affine Milnor numbers for all irregular fibers, the…

We prove compactness results and characterizations for the bi-commutator $[T_1,[b, T_2]]$ of a symbol $b$ and two non-degenerate Calder\'on-Zygmund singular integral operators $T_1, T_2$. Our strategy for proving sufficient conditions for…

We study invariant types in NIP theories. Amongst other things: we prove a definable version of the (p,q)-theorem in theories of small or medium directionality; we construct a canonical retraction from the space of M-invariant types to that…

Starting from a Pfaffian equation in dimension $N$ and focusing on compact solutions for it, we place in perspective the variational method used in [29] to solve Hilbert's 16th problem. In addition to exploring how this viewpoint can help…

Invariants withstand transformations and, therefore, represent the essence of objects or phenomena. In mathematics, transformations often constitute a group action. Since the 19th century, studying the structure of various types of…

We define the Bernoulli polynomials with a $q$ parameter in terms of $r$-Whitney numbers of the second kind. Some algebraic properties and combinatorial identities of these polynomials are given. Also, we obtain several relations between…

Quantitative loop invariants are an essential element in the verification of probabilistic programs. Recently, multivariate Lagrange interpolation has been applied to synthesizing polynomial invariants. In this paper, we propose an…

A general dynamical invariant operator for three coupled time-dependent oscillators is derived. Although the obtained invariant operator satisfies the Liouville-von Neumann equation, its mathematical formula is somewhat complicated due to…

The nonlinearity of a Boolean function is a key property in deciding its suitability for cryptographic purposes, e.g. as a combining function in stream ciphers, and so the nonlinearity computation is an important problem for applications.…