English
Related papers

Related papers: New Formulas and Methods for Interpolation, Numeri…

200 papers

This paper presents a universal numerical scheme tailored for tackling linear integral, integro-differential, and both initial and boundary value problems of ordinary differential equations. The numerical scheme is readily adapted for…

General Mathematics · Mathematics 2026-01-23 Vladimir Kryzhniy

An algorithm for generating interpolants for formulas which are conjunctions of quadratic polynomial inequalities (both strict and nonstrict) is proposed. The algorithm is based on a key observation that quadratic polynomial inequalities…

Logic in Computer Science · Computer Science 2016-11-14 Ting Gan , Liyun Dai , Bican Xia , Naijun Zhan , Deepak Kapur , Mingshuai Chen

Given a straight-line program whose output is a polynomial function of the inputs, we present a new algorithm to compute a concise representation of that unknown function. Our algorithm can handle any case where the unknown function is a…

Symbolic Computation · Computer Science 2014-12-16 Andrew Arnold , Mark Giesbrecht , Daniel S. Roche

Image interpolation based on diffusion models is promising in creating fresh and interesting images. Advanced interpolation methods mainly focus on spherical linear interpolation, where images are encoded into the noise space and then…

Computer Vision and Pattern Recognition · Computer Science 2024-03-15 PengFei Zheng , Yonggang Zhang , Zhen Fang , Tongliang Liu , Defu Lian , Bo Han

In this work, we present some new integration formulas for any order of accuracy as an application of the B-spline relations obtained in [1]. The resulting rules are defined as a perturbation of the trapezoidal integration method. We prove…

Numerical Analysis · Mathematics 2024-05-21 Dionisio F. Yáñez

Diffusive representations of fractional derivatives have proven to be useful tools in the construction of fast and memory efficient numerical methods for solving fractional differential equations. A common challenge in many of the known…

Numerical Analysis · Mathematics 2022-04-11 Kai Diethelm

Nonlinear interpolants have been shown useful for the verification of programs and hybrid systems in contexts of theorem proving, model checking, abstract interpretation, etc. The underlying synthesis problem, however, is challenging and…

Logic in Computer Science · Computer Science 2019-08-29 Mingshuai Chen , Jian Wang , Jie An , Bohua Zhan , Deepak Kapur , Naijun Zhan

We study numerical integration of smooth functions defined over the $s$-dimensional unit cube. A recent work by Dick et al. (2019) has introduced so-called extrapolated polynomial lattice rules, which achieve the almost optimal rate of…

Numerical Analysis · Mathematics 2020-07-15 Takashi Goda

Differential equations and numerical methods are extensively used to model various real-world phenomena in science and engineering. With modern developments, we aim to find the underlying differential equation from a single observation of…

Numerical Analysis · Mathematics 2025-06-10 Roy Y. He , Hao Liu , Wenjing Liao , Sung Ha Kang

This paper provides a new approach to derive various arbitrary high order finite difference formulae for the numerical differentiation of analytic functions. In this approach, various first and second order formulae for the numerical…

Numerical Analysis · Mathematics 2020-05-26 Saint-Cyr E. R. Koyaguerebo-Imé , Yves Bourgault

Singular and oscillatory functions feature in numerous applications. The high-accuracy approximation of such functions shall greatly help us develop high-order methods for solving applied mathematics problems. This paper demonstrates that…

Numerical Analysis · Mathematics 2022-05-20 Congpei An , Hao-Ning Wu

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 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 introduce a new variational method for the numerical homogenization of divergence form elliptic, parabolic and hyperbolic equations with arbitrary rough ($L^\infty$) coefficients. Our method does not rely on concepts of ergodicity or…

Numerical Analysis · Mathematics 2019-02-20 Houman Owhadi , Lei Zhang , Leonid Berlyand

To evaluate the Hadamard finite-part integrals accurately, a novel interpolatory-type quadrature is proposed in this article. In our approach, numerical divided difference is utilized to represent the high order derivatives of the…

Numerical Analysis · Mathematics 2022-11-28 Jiajie Yao , Congcong Xie

Computing the determinant of a matrix with the univariate and multivariate polynomial entries arises frequently in the scientific computing and engineering fields. In this paper, an effective algorithm is presented for computing the…

Symbolic Computation · Computer Science 2015-04-14 Xiaolin Qin , Zhi Sun , Tuo Leng , Yong Feng

Image interpolation is a special case of image super-resolution, where the low-resolution image is directly down-sampled from its high-resolution counterpart without blurring and noise. Therefore, assumptions adopted in super-resolution…

Image and Video Processing · Electrical Eng. & Systems 2020-10-28 Junchao Zhang

Neville's algorithm is known to provide an efficient and numerically stable solution for polynomial interpolations. In this paper, an extension of this algorithm is presented which includes the derivatives of the interpolating polynomial.

Other Computer Science · Computer Science 2017-08-22 M. de Jong

The $\ell_2-$ and $\ell_1-$regularized modified Lagrange interpolation formulae over $[-1,1]$ are deduced in this paper. This paper mainly analyzes the numerical characteristics of regularized barycentric interpolation formulae, which are…

Numerical Analysis · Mathematics 2020-12-15 Congpei An , Hao-Ning Wu

Although being powerful, the differential transform method yet suffers from a drawback which is how to compute the differential transform of nonlinear non-autonomous functions that can limit its applicability. In order to overcome this…

Classical Analysis and ODEs · Mathematics 2016-12-28 Essam. R. El-Zahar , Abdelhalim Ebaid