相关论文: B-series methods are exactly the affine equivarian…
A common problem in applied mathematics is to find a function in a Hilbert space with prescribed best approximations from a finite number of closed vector subspaces. In the present paper we study the question of the existence of solutions…
We have discovered three non-power infinite series representations for Bessel functions of the first kind of integer orders and real arguments. These series contain only elementary functions and are remarkably simple. Each series was…
Several problems on Fourier series and trigonometric approximation on a hexagon and a triangle are studied. The results include Abel and Ces\`aro summability of Fourier series, degree of approximation and best approximation by trigonometric…
We introduce here a direct method to construct multivariate explicit B-spline bases. B-splines are piecewise polynomials, which are defined on adjacent tetrahedra and which are $C^{r}$ continuous throughout. The $C^{r}$ continuity is…
Affine logic is a fragment of continuous logic, introduced by Bagheri, in which only affine functions are allowed as connectives. This has the effect of endowing type spaces with the structure of compact convex sets. We study extremal…
We focus on a branch of region-based spatial logics dealing with affine geometry. The research on this topic is scarce: only a handful of papers investigate such systems, mostly in the case of the real plane. Our long-term goal is to…
Boolean matrix factorization (BMF) approximates a given binary input matrix as the product of two smaller binary factors. Unlike binary matrix factorization based on standard arithmetic, BMF employs the Boolean OR and AND operations for the…
Expansion is an operation on typings (i.e., pairs of typing environments and result types) defined originally in type systems for the lambda-calculus with intersection types in order to obtain principal (i.e., most informative, strongest)…
Bayesian quadrature (BQ) is a model-based numerical integration method that is able to increase sample efficiency by encoding and leveraging known structure of the integration task at hand. In this paper, we explore priors that encode…
Covering and elimination inequalities are central to combinatorial optimization, yet their role has largely been studied in problem-specific settings or via no-good cuts. This paper introduces a unified perspective that treats these…
Benchmarking plays a major role in the development and analysis of optimization algorithms. As such, the way in which the used benchmark problems are defined significantly affects the insights that can be gained from any given benchmark…
In finitely-dimensional spaces the sum range of a series has to be an affine subspace. It is long known this is not the case in infinitely dimensional Banach spaces. In particular in 1984 M.I. Kadets and K. Wo\`{z}niakowski obtained an…
We introduce a notion of refinements in the context of patching, in order to obtain new results about local-global principles and field invariants in the context of quadratic forms and central simple algebras. The fields we consider are…
We deduce several curious q-series expansions by applying inverse relations to certain identities for basic hypergeometric series. After rewriting some of these expansions in terms of q-integrals, we obtain, in the limit q -> 1, some…
A modular application of the integration by fractional expansion (IBFE) method for evaluating Feynman diagrams is extended to diagrams that contain loop triangle subdiagrams in their geometry. The technique is based in the replacement of…
The exponential B-spline basis function set is used to develop a collocation method for some initial boundary value problems (IBVPs) to the Gardner equation. The Gardner equation has two nonlinear terms, namely quadratic and cubic ones. The…
A systematic analysis of matched layers is undertaken with special attention to better understand the remarkable method of B\'erenger. We prove that the B\'erenger and closely related layers define well posed transmission problems in great…
We introduce a hybridization of digital sequences with uniformly distributed sequences in the domain of $b$-adic integers, $\mathbb Z_{b}, b\in\mathbb N\setminus\{1\}$, by using such sequences as input for generating matrices. The…
A classical theorem of Hutchinson asserts that if an iterated function system acts on $\mathbb{R}^d$ by similitudes and satisfies the open set condition then it admits a unique self-similar measure with Hausdorff dimension equal to the…
We define an indicial polynomial of a $D$-module along an arbitrary subvariety as a generalization of both the classical indicial polynomial for a single linear differential equation and the Bernstein-Sato polynomial of a variety defined by…