A Linear Algebraic Approach in Teaching Interpolation

Teaching thermodynamics to engineering students: new approach for interpolation of steam tables

Numerical solution of linear control systems using interpolation scaling functions

The current paper proposes a technique for the numerical solution of linear control systems.The method is based on Galerkin method, which uses the interpolating scaling functions. For a highly accurate connection between functions and their derivatives, an operational matrix for the derivatives is established to reduce the problem to a set of algebraic equations. Several test problems are given...

Deciding and Interpolating Algebraic Data Types by Reduction (Technical Report)

Recursive algebraic data types (term algebras, ADTs) are one of the most well-studied theories in logic, and find application in contexts including functional programming, modelling languages, proof assistants, and verification. At this point, several state-of-the-art theorem provers and SMT solvers include tailor-made decision procedures for ADTs, and version 2.6 of the SMT-LIB standard includ...

Algebraic multigrid methods based on compatible relaxation and energy minimization

This paper presents an adaptive algebraic multigrid method for the solution of positive definite linear systems arising from the discretizations of elliptic partial differential equations. The proposed method uses compatible relaxation to adaptively construct the set of coarse variables. The nonzero supports for the coarse-space basis is determined by approximation of the so-called two-level “i...

gH-differentiable of the 2th-order functions interpolating

Fuzzy Hermite interpolation of 5th degree generalizes Lagrange interpolation by fitting a polynomial to a function f that not only interpolates f at each knot but also interpolates two number of consecutive Generalized Hukuhara derivatives of f at each knot. The provided solution for the 5th degree fuzzy Hermite interpolation problem in this paper is based on cardinal basis functions linear com...