Related papers: A complete equational axiomatisation of partial di…
The simplest version of Bertini's irreducibility theorem states that the generic fiber of a non-composite polynomial function is an irreducible hypersurface. The main result of this paper is its analog for a free algebra: if $f$ is a…
We show that a wide class of geometrically defined overdetermined semilinear partial differential equations may be explicitly prolonged to obtain closed systems. As a consequence, in the case of linear equations we extract sharp bounds on…
We employ the notions of `sequential function' and `interrogation' (dialogue) in order to define new partial combinatory algebra structures on sets of functions. These structures are analyzed using J. Longley's preorder-enriched category of…
We develop a new method of umbral nature to treat blocks of Hermite and of Hermite like polynomials as independent algebraic quantities. The Calculus we propose allows the formulation of a number of practical rules allowing significant…
Several open problems in algebraic logic are solved.
We prove a quantitative version of the Polynomial Szemeredi Theorem for difference sets. This result is achieved by first establishing a higher dimensional analogue of a theorem of Sarkozy (the simplest non-trivial case of the Polynomial…
We show how the separability problem is dual to that of decomposing any given matrix into a conic combination of rank-one partial isometries, thus offering a duality approach different to the positive maps characterization problem. Several…
We provide a systematic study of sesquilinear hermitian forms and a new proof of the calculus of some exponential sums defined with quadratic hermitian forms. The computation of the number of solutions of equations such as Tr(f(x)+v.x)=0 or…
We give an algebraic proof of the criterion for hereditary structural completeness of an intermediate logic, or, equivalently, of the primitiveness of a variety of Heyting algebras.
Properties of partial integrals such as real and complex-valued polynomial, multiple polynomial, exponential, and conditional for ordinary differential systems are studied. The possibilities of constructing first integrals and last…
Starting with univariate polynomial interpolation we arrive to a natural generalization of fundamental theorem of algebra for certain systems of multivariate algebraic equations.
It is well-known that any solution of the Laplace equation is a real or imaginary part of a complex holomorphic function. In this paper, in some sense, we extend this property into four order hyperbolic and elliptic type PDEs. To be more…
Under structural conditions which are almost optimal, we derive a quantitative version of boundary estimate then prove existence of solutions to Dirichlet problem for a class of fully nonlinear elliptic equations on Hermitian manifolds.
In this paper we construct nonlinear partial differential equations in more than 3 independent variables, possessing a manifold of analytic solutions with high, but not full, dimensionality. For this reason we call them ``partially…
The objective of this study is to ascertain the existence and forms of the finite order meromorphic and entire functions of several complex variables satisfying some certain Fermat-type partial differential-difference equations by…
This paper presents new fast algorithms for Hermite interpolation and evaluation over finite fields of characteristic two. The algorithms reduce the Hermite problems to instances of the standard multipoint interpolation and evaluation…
As a continuation of Rabei et al. work [11], the Hamilton- Jacobi partial differential equation is generalized to be applicable for systems containing fractional derivatives. The Hamilton- Jacobi function in configuration space is obtained…
Using the theory of analytic functions of several complex variables, we prove that if an analytic function in several variables satisfies a system of $q$-partial differential equations, then, it can be expanded in terms of the product of…
For a variety of finite groups $\mathbf H$, let $\overline{\mathbf H}$ denote the variety of finite semigroups all of whose subgroups lie in $\mathbf H$. We give a characterization of the subsets of a finite semigroup that are pointlike…
It is proved that any polynomial vector field in two complex variables which is complete on a non-algebraic trajectory is complete.