• FreeFem++

  • Referenced in 935 articles [sw01436]
  • physics such as fluid-structure interactions require interpolations of data on several meshes and their ... includes a fast 2^d-tree-based interpolation algorithm and a language for the manipulation...
  • CGAL

  • Referenced in 329 articles [sw00118]
  • neighbor search, and range and segment trees), interpolation (natural neighbor interpolation and placement of streamlines...
  • pchip

  • Referenced in 333 articles [sw10140]
  • pchip. Piecewise Cubic Hermite Interpolating Polynomial (PCHIP...
  • Chebfun

  • Referenced in 291 articles [sw05897]
  • Chebyshev expansions, fast Fourier transform, barycentric interpolation, recursive zerofinding, and automatic differentiation...
  • Differentiation Matrix Suite

  • Referenced in 205 articles [sw12762]
  • Chebyshev, Hermite, Laguerre, Fourier, and sinc interpolants. Auxiliary functions are included for incorporating boundary conditions ... performing interpolation using barycentric formulas, and computing roots of orthogonal polynomials. It is demonstrated...
  • tn

  • Referenced in 123 articles [sw05140]
  • described that defines a search direction which interpolates between the direction defined by a nonlinear...
  • rbf_qr

  • Referenced in 109 articles [sw28261]
  • method for radial basis function interpolation in the small shape parameter range...
  • UOBYQA

  • Referenced in 58 articles [sw07576]
  • objective function by forming quadratic models by interpolation. Obviously, no first derivatives are required ... paper addresses the initial positions of the interpolation points and the adjustment of trust region ... works with the Lagrange functions of the interpolation equations explicitly; therefore their coefficients are updated ... when an interpolation point is moved. The Lagrange functions assist the procedure that improves...
  • FOCI

  • Referenced in 58 articles [sw12868]
  • FOCI: and interpolating prover. FOCI is a decision procedure for quantifier-free first-order formulas ... importantly, it can compute quantifier-free Craig interpolants for inconsistent pairs (or more generally, sequences...
  • NEWUOA

  • Referenced in 78 articles [sw00618]
  • quadratic model is revised, the new model interpolates F at m points, the value...
  • ReALE

  • Referenced in 78 articles [sw18074]
  • which the Lagrangian solution is transferred (conservatively interpolated) onto the new grid. In standard...
  • QSHEP3D

  • Referenced in 68 articles [sw00762]
  • QSHEP3D: Quadratic Shepard method for trivariate interpolation of scattered data...
  • MathSAT

  • Referenced in 55 articles [sw09449]
  • computation of unsatisfiable cores and Craig interpolants (for abstraction refinement...
  • ORBIT

  • Referenced in 30 articles [sw20552]
  • ORBIT: optimization by radial basis function interpolation in trust-regions. We present a new derivative ... expensive functions. A trust-region framework using interpolating Radial Basis Function (RBF) models is employed ... models considered often allow ORBIT to interpolate nonlinear functions using fewer function evaluations than ... ensuring that a subset of the interpolation points is sufficiently poised for linear interpolation...
  • AUSMPW+

  • Referenced in 50 articles [sw12049]
  • completely excluded. With simple Mach number interpolation functions, AUSMPW+ is efficient to implement. Extensive numerical...
  • Getfem++

  • Referenced in 48 articles [sw05721]
  • such as assembly procedures for classical problems, interpolation methods, computation of norms, mesh operations (including...
  • Spinterp

  • Referenced in 33 articles [sw00902]
  • describe three possible piecewise multilinear hierarchical interpolation schemes in detail and conduct a numerical comparison ... document the features of our sparse grid interpolation software package spinterp for MATLAB...
  • IMFIL

  • Referenced in 31 articles [sw04814]
  • available. Unlike methods that use interpolation to reconstruct the function and its higher derivatives, implicit ... filtering builds upon coordinate search and then interpolates to get an approximation of the gradient...
  • MathSAT5

  • Referenced in 43 articles [sw09569]
  • provides many functionalities (like e.g., unsat cores, interpolation, AllSMT). MathSAT5 improves its predecessor MathSAT4...
  • FDL3DI

  • Referenced in 43 articles [sw24948]
  • derived for use in a mid-point interpolation-differentiation strategy. For numerical stability...