
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 nonuniform distributions on a network, such as the densities ... clumping methods, the Voronoi diagrams and spatial interpolation methods. Fourth, the paper shows three commonly...

pstbspline
 Referenced in 1 article
[sw32139]
 Draw cubic Bspline curves and interpolations. The package draws uniform, cubic Bspline 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]
 meshfree interpolation and differentiation. It is known that discrete sets of uniformly distributed points ... classical potentialtheoretical 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 nonuniform grid to test the application...

gNUFFTW
 Referenced in 1 article
[sw31003]
 transform (NUDFT) and its adjoint operation. NonUniform 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 boundaryelement 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...