• ToyElim

  • Referenced in 3 articles [sw09900]
  • elimination of Boolean quantifiers, computation of uniform interpolants, certain forms of abduction...
  • LETHE

  • Referenced in 1 article [sw32361]
  • tool that can be used for uniform interpolation, forgetting, TBox abduction and logical di erence ... This is known as forgetting or uniform interpolation. Lethe is an imple- mentation...
  • MuST

  • Referenced in 10 articles [sw12955]
  • sample sinc interpolant at mn points is presented. For uniform grids, its complexity is 25mnlog...
  • SANET

  • Referenced in 26 articles [sw14951]
  • used in the study of non-uniform distributions on a network, such as the densities ... clumping methods, the Voronoi diagrams and spatial interpolation methods. Fourth, the paper shows three commonly...
  • pst-bspline

  • Referenced in 1 article [sw32139]
  • Draw cubic Bspline curves and interpolations. The package draws uniform, cubic B-spline curves, open ... open or closed cubic Bspline curve interpolating a sequence of points...
  • ESLOFTX

  • Referenced in 1 article [sw19866]
  • determined at any station radius. Sections are interpolated to the required t/c from parent airfoils ... necessary - see below). A uniform paneling scheme facilitates the interpolation of parent airfoils. Each parent...
  • interparc

  • Referenced in 2 articles [sw22511]
  • space. A common request is to interpolate a set of points at fixed distances along ... which is uniformly spaced along the same curve. When the interpolation is assumed...
  • MinimumEnergyPoints

  • Referenced in 1 article [sw34576]
  • mesh-free interpolation and differentiation. It is known that discrete sets of uniformly distributed points ... classical potential-theoretical proof of the asymptotic uniformity of the point distributions. Still, the property ... optimal point sets with a novel concentric interpolation and differentiation scheme is demonstrated. The method...
  • ORESD

  • Referenced in 7 articles [sw04966]
  • discretization error based on the interpolation reconstruction of the operators. The technique presented here ... Poisson equation on a uniform and on a non-uniform grid to test the application...
  • gNUFFTW

  • Referenced in 1 article [sw31003]
  • transform (NUDFT) and its adjoint operation. Non-Uniform Fast Fourier Transform (NUFFT) methods, such ... optimized Fast Fourier Transform (FFT) and localized interpolations. These approaches require selecting several parameters, such...
  • binsmooth

  • Referenced in 0 articles [sw16391]
  • widths need not be uniform, and the top bin may be unbounded. All PDF smoothing ... binned data. (Equivalently, all CDF smoothing methods interpolate the points specified by the binned data...
  • BEMLIB

  • Referenced in 101 articles [sw00005]
  • BEMLIB is a boundary-element software library of...
  • ANSYS

  • Referenced in 663 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • CGAL

  • Referenced in 362 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CSDP

  • Referenced in 200 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • Expokit

  • Referenced in 180 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • FGb

  • Referenced in 244 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • GAP

  • Referenced in 2948 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gfun

  • Referenced in 134 articles [sw00344]
  • The gfun package provides tools for determining and...
  • gmp

  • Referenced in 272 articles [sw00363]
  • GMP is a free library for arbitrary precision...