English
Related papers

Related papers: Subresultants, Sylvester sums and the rational int…

200 papers

In this paper, we give new sparse interpolation algorithms for black box univariate and multivariate rational functions h=f/g whose coefficients are integers with an upper bound. The main idea is as follows: choose a proper integer beta and…

Symbolic Computation · Computer Science 2017-06-06 Qiao-Long Huang , Xiao-Shan Gao

In this paper, we build up a framework for sparse interpolation. We first investigate the theoretical limit of the number of unisolvent points for sparse interpolation under a general setting and try to answer some basic questions of this…

Numerical Analysis · Mathematics 2013-08-30 Zhiqiang Xu , Tao Zhou

We design convergent multipoint Pade interpolation schemes to Cauchy transforms of non-vanishing complex densities with respect to Jacobi-type weights on analytic arcs, under mild smoothness assumptions on the density. We rely on our…

Classical Analysis and ODEs · Mathematics 2010-10-25 Laurent Baratchart , Maxim Yattselev

In this paper we present an efficient algorithm for bivariate interpolation, which is based on the use of the partition of unity method for constructing a global interpolant. It is obtained by combining local radial basis function…

Numerical Analysis · Mathematics 2014-08-04 Roberto Cavoretto

In the space of holomorphic functions in a convex domain it is studied the interpolation problem by means of sums of the series of exponentials converging uniformly on all compact sets of the domain. The discrete set of the interpolation…

Complex Variables · Mathematics 2014-11-13 S. G. Merzlyakov , S. V. Popenov

In 1853 Sylvester stated and proved an elegant formula that expresses the polynomial subresultants in terms of the roots of the input polynomials. Sylvester's formula was also recently proved by Lascoux and Pragacz by using multi-Schur…

Commutative Algebra · Mathematics 2007-05-23 Carlos D'Andrea , Hoon Hong , Teresa Krick , Agnes Szanto

A logic has uniform interpolation if its formulas can be projected down to given subsignatures, preserving all logical consequences that do not mention the removed symbols; the weaker property of (Craig) interpolation allows the projected…

Logic in Computer Science · Computer Science 2022-05-03 Fatemeh Seifan , Lutz Schröder , Dirk Pattinson

In this work we blend interpolation theory with numerical integration, constructing an interpolator based on integrals over $n$-dimensional balls. We show that, under hypotheses on the radius of the $n$-balls, the problem can be treated as…

Numerical Analysis · Mathematics 2023-12-19 Ludovico Bruni Bruno , Giacomo Elefante

Analytic interpolation problems with rationality and derivative constraints are ubiquitous in systems and control. This paper provides a new method for such problems, both in the scalar and matrix case, based on a non-standard Riccati-type…

Optimization and Control · Mathematics 2021-07-27 Yufang Cui , Anders Lindquist

The Pavlov equation is one of the simplest integrable systems of vector fields arising from various problems of mathematical physics and differential geometry which are intensively studied in recent literature. In this report, solving a…

Exactly Solvable and Integrable Systems · Physics 2015-01-26 Derchyi Wu

Along this work we study an indefinite abstract smoothing problem. After establishing necessary and sufficient conditions for the existence of solutions to this problem, the set of admissible parameters is discussed in detail. Then, its…

Functional Analysis · Mathematics 2020-08-11 Santiago Gonzalez Zerbo , Alejandra Maestripieri , Francisco Martínez Pería

Symmetrizable matrices are those which are symmetric when multiplied by a diagonal matrix with positive entries. The Cauchy interlace theorem states that the eigenvalues of a real symmetric matrix interlace with those of any principal…

Dynamical Systems · Mathematics 2016-03-15 Said Kouachi

The theory of symmetric multivariate Lagrange interpolation is a beautiful but rather unknown tool that has many applications. Here we derive from it an Exchange Lemma that allows to explain in a simple and natural way the full description…

Commutative Algebra · Mathematics 2016-09-07 Teresa Krick , Agnes Szanto , Marcelo Valdettaro

On one hand, consider the problem of finding global solutions to a polynomial optimization problem and, on the other hand, consider the problem of interpolating a set of points with a complex exponential function. This paper proposes a…

Optimization and Control · Mathematics 2017-03-21 Cédric Josz

Recently the authors presented a matrix representation approach to real Appell polynomials essentially determined by a nilpotent matrix with natural number entries. It allows to consider a set of real Appell polynomials as solution of a…

Classical Analysis and ODEs · Mathematics 2024-03-19 Lidia Aceto , Helmuth Robert Malonek , Graça Tomaz

In a previous paper, we derived necessary and sufficient conditions for the invertibility of square submatrices of the Pascal upper triangular matrix. To do so, we established a connection with the two-point Birkhoff interpolation problem.…

Combinatorics · Mathematics 2017-02-13 Scott Kersey

Given a solution of a semilinear dispersive partial differential equation with a real analytic nonlinearity, we relate its Cauchy data at two different times by nonlinear representation formulas in terms of convergent series. These series…

Analysis of PDEs · Mathematics 2013-11-05 Frédéric Hélein

We describe a strategy for solving nonlinear eigenproblems numerically. Our approach is based on the approximation of a vector-valued function, defined as solution of a non-homogeneous version of the eigenproblem. This approximation step is…

Numerical Analysis · Mathematics 2023-12-06 Davide Pradovera

We study the Cauchy problem for the (2+1) integrable nonlinear Schr\"odinger equation by the inverse scattering transform (IST) method. This Cauchy problem with given initial data and boundary data at infinity is reduced by IST to the…

Functional Analysis · Mathematics 2023-05-11 L. P. Nizhnik

The problem of computing Craig Interpolants has recently received a lot of interest. In this paper, we address the problem of efficient generation of interpolants for some important fragments of first order logic, which are amenable for…

Logic in Computer Science · Computer Science 2009-06-25 Alessandro Cimatti , Alberto Griggio , Roberto Sebastiani