• FreeFem++

  • Referenced in 963 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 344 articles [sw00118]
  • neighbor search, and range and segment trees), interpolation (natural neighbor interpolation and placement of streamlines...
  • pchip

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

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

  • Referenced in 212 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 126 articles [sw05140]
  • described that defines a search direction which interpolates between the direction defined by a nonlinear...
  • rbf_qr

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

  • Referenced in 59 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...
  • NEWUOA

  • Referenced in 81 articles [sw00618]
  • quadratic model is revised, the new model interpolates F at m points, the value...
  • 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...
  • ReALE

  • Referenced in 80 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...
  • ORBIT

  • Referenced in 32 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...
  • MathSAT

  • Referenced in 56 articles [sw09449]
  • computation of unsatisfiable cores and Craig interpolants (for abstraction refinement...
  • AUSMPW+

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

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

  • Referenced in 36 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...
  • Spinterp

  • Referenced in 35 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...
  • MathSAT5

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

  • Referenced in 44 articles [sw18303]
  • presents interesting characteristics such as exact interpolation and a local index of uncertainty...