Related papers: Idempotent functional analysis: an algebraic appro…
This paper develops theory for a newly-defined bicomplex hyperbolic harmonic function with four real-dimensional inputs, in a way that generalizes the connection between real harmonic functions with two real-dimensional inputs and complex…
In these lecture notes we present an introduction to non-standard analysis especially written for the community of mathematicians, physicists and engineers who do research on J. F. Colombeau' theory of new generalized functions and its…
In this article a recognition principle for $\infty$-loop pairs of spaces of connective commutative algebra spectra over connective commutative ring spectra is proved. This is done by generalizing the classical recognition principle for…
We introduce and investigate a class of $\mathfrak{gl}_{M+1}$ partition functions which is an extension of the one introduced by Foda-Manabe. We characterize the partition functions by a nested version of Izergin-Korepin analysis, and…
The paper deals with partial and weak preference relations defined on infinite-dimensional vector spaces and compatible with algebraic operations. By a partial preference we mean an asymmetric and transitive binary relation, while a weak…
Minimax single facility location problems in multidimensional space with Chebyshev distance are examined within the framework of idempotent algebra. The aim of the study is twofold: first, to give a new algebraic solution to the location…
Extended real-valued functions are often used in optimization theory, but in different ways for infimum problems and for supremum problems. We present an approach to extended real-valued functions that works for all types of problems and…
In this paper, using similar symbolical method of Burchnall and Chaundy formulas of expansion for the generalized hypergeometric function were constructed. By means of the found formulas of expansion the formulas of an analytic continuation…
Fractal functions that produce smooth and non-smooth approximants constitute an advancement to classical nonrecursive methods of approximation. In both classical and fractal approximation methods emphasis is given for investigation of…
Functional Distributional Semantics is a framework that aims to learn, from text, semantic representations which can be interpreted in terms of truth. Here we make two contributions to this framework. The first is to show how a type of…
We give an algebraic (non-analytic) proof of the deformed boson-fermion Fock space construction of Molev's double supersymmetric Schur functions, among other results, from our previous paper. In other words, we make no assumptions on the…
The classical theory of symmetric functions has a central position in algebraic combinatorics, bridging aspects of representation theory, combinatorics, and enumerative geometry. More recently, this theory has been fruitfully extended to…
We study the nature of applicative bisimilarity in $\lambda$-calculi endowed with operators for sampling from continuous distributions. On the one hand, we show that bisimilarity, logical equivalence, and testing equivalence all coincide…
An alternative characterization of Minkowski--Lyapunov functions is derived. The derived characterization enables a computationally efficient utilization of Minkowski--Lyapunov functions in arbitrary finite dimensions. Due to intrinsic…
This paper studies the quantitative refinements of Abramsky's applicative similarity and bisimilarity in the context of a generalisation of Fuzz, a call-by-value $\lambda$-calculus with a linear type system that can express programs…
This paper introduces a new functional expansion framework that extends classical ideas beyond the Taylor series. Unlike traditional Taylor expansions based on local polynomial approximations, the proposed approach arises from exact…
We study Abramsky's applicative bisimilarity abstractly, in the context of call-by-value $\lambda$-calculi with algebraic effects. We first of all endow a computational $\lambda$-calculus with a monadic operational semantics. We then show…
This paper is a plea for diagonals and telescopers of rational, or algebraic, functions using creative telescoping, in a computer algebra experimental mathematics learn-by-examples approach. We show that diagonals of rational functions (and…
Summation formulae are classical tools in analysis: Taylor-MacLaurin, Euler-MacLaurin, Poisson, Vorono\"i, Circle formulae\ldots We will show how, from a single equation - referred to as the mother-equation - it is possible to unify these…
By exploring the relations among functional equations, harmonic analysis and representation theory, we give a unified and very accessible approach to solve three important functional equations -- the d'Alembert equation, the Wilson…