English
Related papers

Related papers: Nonlinear Craig Interpolant Generation over Unboun…

200 papers

This work provides a complete characterization of the solutions of a linear interpolation problem for vector polynomials. The interpolation problem consists in finding n scalar polynomials such that an equation involving a linear…

Classical Analysis and ODEs · Mathematics 2015-06-24 Mikhail Kudryavtsev , Sergio Palafox , Luis O. Silva

We study the ideal generated by polynomials vanishing on a semialgebraic set and propose an algorithm to calculate the generators, which is based on some techniques of the cylindrical algebraic decomposition. By applying these, polynomial…

Optimization and Control · Mathematics 2009-02-14 Yoshiyuki Sekiguchi , Tomoyuki Takenawa , Hayato Waki

Via a generalization of the pseudospectral method for numerical solution of differential equations, a family of nonlinear algebraic identities satisfied by the zeros of a wide class of orthogonal polynomials is derived. The generalization…

Classical Analysis and ODEs · Mathematics 2018-06-19 Oksana Bihun , Clark Mourning

We present a number of new piecewise-polynomial kernels for image interpolation. The kernels are constructed by optimizing a measure of interpolation quality based on the magnitude of anisotropic artifacts. The kernel design process is…

Computer Vision and Pattern Recognition · Computer Science 2021-06-09 Peter Karpov

This work is concerned with the kernel-based approximation of a complex-valued function from data, where the frequency response function of a partial differential equation in the frequency domain is of particular interest. In this setting,…

Computational Engineering, Finance, and Science · Computer Science 2024-11-26 Julien Bect , Niklas Georg , Ulrich Römer , Sebastian Schöps

An abstract Pick interpolation theorem for a family of positive semi-definite kernels on a set $X$ is formulated. The result complements those in \cite{Ag} and \cite{AMbook} and will subsequently be applied to Pick interpolation on…

Functional Analysis · Mathematics 2009-05-05 Michael Jury , Greg Knese , Scott McCullough

This paper investigates two classes of quasilinear and essentially nonlinear integral equations with a sum-difference kernel on the half-line. Such equations arise in various areas of physics, including the theory of radiative transfer in…

Functional Analysis · Mathematics 2025-07-17 A. Kh. Khachatryan , Kh. A. Khachatryan , H. S. Petrosyan

We present an approach to constructing a practical coarsening algorithm and interpolation operator for the algebraic multigrid (AMG) method, tailored towards systems of partial differential equations (PDEs) with large near-kernels, such as…

Numerical Analysis · Mathematics 2025-01-28 James Brannick , Robert Falgout , Karsten Kahl , Jacob Schroder , Taoli Shen

Let $G$ be a commutative algebraic group embedded in projective space and $\Gamma$ a finitely generated subgroup of $G$. From these data we construct a chain of algebraic subgroups of $G$ which is intimately related to obstructions to…

Number Theory · Mathematics 2012-09-12 Stéphane Fischler , Michael Nakamaye

Standard interpolation techniques are implicitly based on the assumption that the signal lies on a homogeneous domain. In this letter, the proposed interpolation method instead exploits prior information about domain inhomogeneity,…

Classical Analysis and ODEs · Mathematics 2017-04-14 Hamid Behjat , Zafer Doğan , Dimitri Van De Ville , Leif Sörnmo

In this paper we describe a general, computationally feasible strategy to deduce a family of interpolatory non-stationary subdivision schemes from a symmetric non-stationary, non-interpolatory one satisfying quite mild assumptions. To…

Numerical Analysis · Mathematics 2010-04-20 Costanza Conti , Luca Gemignani , Lucia Romani

We consider the problem of constructing semisimple subalgebras of real (semi-) simple Lie algebras. We develop computational methods that help to deal with this problem. Our methods boil down to solving a set of polynomial equations. In…

Rings and Algebras · Mathematics 2013-10-02 Paolo Faccin , Willem A. de Graaf

We consider $K$-semialgebras for a commutative semiring $K$ that are at the same time $\Sigma$-algebras and satisfy certain linearity conditions. When each finite system of guarded polynomial fixed point equations has a unique solution over…

Discrete Mathematics · Computer Science 2015-03-19 Zoltan Esik

We construct many irreducible polynomials within semigroups generated by sets of the form $S=\{x^2+c_1,\dots,x^2+c_s\}$ under composition.

Number Theory · Mathematics 2022-08-09 Wade Hindes , Reiyah Jacobs , Peter Ye

When used to accelerate the convergence of fixed-point iterative methods, such as the Picard method, which is a kind of nonlinear fixed-point iteration, polynomial extrapolation techniques can be very effective. The numerical solution of…

Numerical Analysis · Mathematics 2025-01-07 Abdellatif Mouhssine , Ahmed Ratnani , Hassane Sadok

Standard interpolation techniques are implicitly based on the assumption that the signal lies on a single homogeneous domain. In contrast, many naturally occurring signals lie on an inhomogeneous domain, such as brain activity associated to…

Signal Processing · Electrical Eng. & Systems 2019-06-28 Hamid Behjat , Zafer Doğan , Dimitri Van De Ville , Leif Sörnmo

Suppose $\mathbb{K}$ is a large enough field and $\mathcal{P} \subset \mathbb{K}^2$ is a fixed, generic set of points which is available for precomputation. We introduce a technique called \emph{reshaping} which allows us to design…

Symbolic Computation · Computer Science 2020-06-05 Vincent Neiger , Johan Rosenkilde , Grigory Solomatov

In this paper, we investigate the problem of designing compact support interpolation kernels for a given class of signals. By using calculus of variations, we simplify the optimization problem from an infinite nonlinear problem to a finite…

Multimedia · Computer Science 2011-05-03 Ramtin Madani , Ali Ayremlou , Arash Amini , Farrokh Marvasti

We consider a wide class of semi linear Hamiltonian partial differential equa- tions and their approximation by time splitting methods. We assume that the nonlinearity is polynomial, and that the numerical tra jectory remains at least uni-…

Numerical Analysis · Mathematics 2009-12-16 Erwan Faou , Benoit Grebert

We prove that interpolation matrices for Generalized MultiQuadrics (GMQ) of order greater than one are almost surely nonsingular without polynomial addition, in any dimension and with any continuous random distribution of sampling points.…

Numerical Analysis · Mathematics 2024-04-17 A. Sommariva , M. Vianello