Related papers: Bivariate Quasi-Tower Sets and Their Associated La…
Interpolation-based techniques become popular in recent years, as they can improve the scalability of existing verification techniques due to their inherent modularity and local reasoning capabilities. Synthesizing Craig interpolants is the…
Using the theory of quasiconformal mappings, we simplify the proof of the recent result by Taylor and Totik (see IMA Journal of Numerical Analysis 30 (2010) 462--486) on the behavior of the Lebesgue constants for interpolation points on a…
In this work we consider an iterative method for solving the quasi-convex feasibility problem. We firstly introduce the so-called star subgradient projection operator and present some useful properties. We subsequently obtain a convergence…
We extend the univariate Newton interpolation algorithm to arbitrary spatial dimensions and for any choice of downward-closed polynomial space, while preserving its quadratic runtime and linear storage cost. The generalisation supports any…
The topology of smooth quasi-projective complex varieties is very restrictive. One aspect of this statement is the fact that natural strata of local systems, called cohomology support loci, have a rigid structure: they consist of…
In this paper we suggest a moment matching method for quadratic-bilinear dynamical systems. Most system-theoretic reduction methods for nonlinear systems rely on multivariate frequency representations. Our approach instead uses univariate…
We deepen the theory of quasiorthogonal and approximately quasiorthogonal operator algebras through an analysis of the commutative algebra case. We give a new approach to calculate the measure of orthogonality between two such subalgebras…
We present a new formula for divided difference and few new schemes of divided difference tables in this paper. Through this, we derive new interpolation, numerical differentiation and numerical integration formulas with arbitrary order of…
In this paper we consider the problem of computing all possible order ideals and also sets connected to 1, and the corresponding border bases, for the vanishing ideal of a given finite set of points. In this context two different approaches…
We construct a quasiregular mapping in $\mathbb{R}^3$ that is the first to illustrate several important dynamical properties: the quasi-Fatou set contains wandering components; these quasi-Fatou components are bounded and hollow; and the…
We study the uniqueness sets, the weak interpolation sets, and convergence of the Lagrange interpolation series in radial weighted Fock spaces
In this paper,we deeply research Lagrange interpolation of n-variables and give an application of Cayley-Bacharach theorem for it. We pose the concept of sufficient intersection about s algebraic hypersurfaces in n-dimensional complex…
We present simpler algorithms for two closely related morphing problems, both based on the barycentric interpolation paradigm introduced by Floater and Gotsman, which is in turn based on Floater's asymmetric extension of Tutte's classical…
The concepts of evaluation and interpolation are extended from univariate skew polynomials to multivariate skew polynomials, with coefficients over division rings. Iterated skew polynomial rings are in general not suitable for this purpose.…
Interpolation-based techniques have become popularized in recent years because of their inherently modular and local reasoning, which can scale up existing formal verification techniques like theorem proving, model-checking, abstraction…
Interpolation of data on non-Euclidean spaces is an active research area fostered by its numerous applications. This work considers the Hermite interpolation problem: finding a sufficiently smooth manifold curve that interpolates a…
We introduce a new combinatorial object called tower diagrams and prove fundamental properties of these objects. We also introduce an algorithm that allows us to slide words to tower diagrams. We show that the algorithm is well-defined only…
In this paper, a parametric level set method for reconstruction of obstacles in general inverse problems is considered. General evolution equations for the reconstruction of unknown obstacles are derived in terms of the underlying level set…
Based on Lagrange and Hermite interpolation two novel versions of weak form quadrature element are proposed for a non-classical Euler-Bernoulli beam theory. By extending these concept two new plate elements are formulated using…
High-dimensional Lagrange interpolation plays a pivotal role in finite element methods, where ensuring the unisolvence and symmetry of its interpolation space and nodes set is crucial. In this paper, we leverage group action and group…