Related papers: The Bicomplex-Real Calculus and Applications to Bi…

We present an approach to modeling computational calculi using higher category theory. Specifically we present a fully abstract semantics for the pi-calculus. The interpretation is consistent with Curry-Howard, interpreting terms as typed…

We develop a notion of computability and complexity of functions over the reals, which seems to be very natural when one tries to determine just how "difficult" a certain function is. This notion can be viewed as an extension of both BSS…

The new method for obtaining a variety of extensions of Hermite polynomials is given. As a first example a family of orthogonal polynomial systems which includes the generalized Hermite polynomials is considered. Apparently, either these…

We establish best possible pointwise (up to a constant multiple) estimates for approximation, on a finite interval, by polynomials that satisfy finitely many (Hermite) interpolation conditions, and show that these estimates cannot be…

The classical quadratic formula and some of its lesser known variants for solving the quadratic equation are reviewed. Then, a new formula for the roots of a quadratic polynomial is presented.

Motivated by the connection between the eigenvalues of the complex Ginibre matrix model and the magnetic Laplacian in the complex plane, we derive analogues of the complex Hermite polynomials for the elliptic Ginibre model. To this end, we…

In the framework of superanalysis we get a functions theory close to complex analysis, under a suitable condition (A) on the real superalgebras in consideration. Under the condition (A), we get an integral representation formula for the…

In this paper, we study umbral calculus to have alternative ways of obtaining our results. That is, we derive some interesting identities of the higher-order Bernoulli, Euler and Hermite polynomials arising from umbral calculus to have…

A simultaneous extension of real numbers set and the class of real functions is discussed.

Based on the full similarity in algebraic properties and differentiation rules between quaternionic (H-) holomorphic and complex (C-) holomorphic functions, we assume that there exists one holistic notion of a holomorphic function that has…

This note presents the multivariate Hermite criterion: a practical and powerful algorithm for determining the number of distinct real and complex roots of a zero-dimensional system of polynomials in any finite number of variables. The final…

We reveal a natural algebraic problem whose complexity appears to interpolate between the well-known complexity classes BQP and NP: (*) Decide whether a univariate polynomial with exactly m monomial terms has a p-adic rational root. In…

We establish a real version of Turrittin's result on polynomial and formal normal forms of linear systems of ODEs with meromorphic coefficients. Both the normal forms or the transformations used have only real coefficients. In order to…

We present two hypermatrix formulations of the Cayley Hamilton theorem. One of the proposed formulation naturally extends to hypermatrices the combinatorial interpretations of the classical Cayley Hamilton theorem. We conclude by discussing…

We generalize the classical operad pair theory to a new model for $E_\infty$ ring spaces, which we call ring operad theory, and establish a connection with the classical operad pair theory, allowing the classical multiplicative infinite…

We show that the formalism of hybrid polynomials, interpolating between Hermite and Laguerre polynomials, is very useful in the study of Motzkin numbers and central trinomial coefficients. These sequences are identified as special values of…

We introduce a bicomplex which computes the triple cohomology of Lie--Rinehart algebras. We prove that the triple cohomology is isomorphic to the Rinehart cohomology \cite{Ri} provided the Lie--Rinehart algebra is projective over the…

Matrix interpretations generalize linear polynomial interpretations and have been proved useful in the implementation of tools for automatically proving termination of Term Rewriting Systems. In view of the successful use of rational…

In this study, the new algebraic properties related to bivariate Fibonacci polynomials has been given. We present the partial derivatives of these polynomials in the form of convolution of bivariate Fibonacci polynomials. Also, we define a…

Based on Stokes' theorem we derive a non-holomorphic functional calculus for matrices, assuming sufficient smoothness near eigenvalues, corresponding to the size of related Jordan blocks. It is then applied to the complex conjugation…