
ToyElim
 Referenced in 3 articles
[sw09900]
 without these operators. Tasks like elimination of Boolean quantifiers, computation of uniform interpolants, certain forms ... computational processing of logics by operator elimination. The current implementation is basically a toy system...

CUMODP
 Referenced in 8 articles
[sw08402]
 integer or floating point coefficients. Typical operations are matrix determinant computation, polynomial multiplication (both plain ... tree techniques for multipoint evaluation and interpolation, subresultant chain computation for multivariate polynomials, bivariate ... BPAS library and CUMODP library can operate independently of each other...

Dirtlib
 Referenced in 7 articles
[sw08882]
 developers wishing such a capability. The Donor interpolation Receptor Transaction library (DiRTlib) is a solver ... flow solver by encapsulating the required operations. This paper discusses the design issues of such...

ScalFMM
 Referenced in 17 articles
[sw27617]
 kernel independent fast multipole method based on interpolation ( Chebyshev or Lagrange). The library offers ... used to decrease the complexity of the operators. We consider either matrix formulation that allows...

tsc
 Referenced in 1 article
[sw21504]
 interpolation method based on regression techniques to operate with tabulated critical values of the test...

OpenCurrent
 Referenced in 1 article
[sw11883]
 Grids support operations like computing linear combinations, managing hostdevice memory transfers, interpolating values...

GRILLIX
 Referenced in 2 articles
[sw16951]
 operators is straight forward and parallel operators are discretised with a field line map procedure ... line tracing from plane to plane and interpolation. Via a gridsparsification in the toroidal...

APFELgrid
 Referenced in 3 articles
[sw21596]
 Function (PDF) fits. The APFELgrid package converts interpolated weight tables provided by APPLgrid files into ... This combination significantly reduces the number of operations required to perform the calculation of hadronic...

L2WPMA
 Referenced in 9 articles
[sw04326]
 given positive integer. Hence, the piecewise linear interpolant to the fit consists of k monotonic ... solution in only O(nσ + kσ2) computer operations when k ≥ 3, where...

LaplaceInterpolation.jl
 Referenced in 1 article
[sw41226]
 radial basis function approach to interpolation, but interpolation using these kernels involves systems of equations ... function representation, and substituting the finitedifference operator, we replace the dense operator with...

pychebfun
 Referenced in 1 article
[sw36347]
 Chebyshev polynomial expansions, Lagrange interpolation with the barycentric formula, and Clenshaw–Curtis quadrature to perform ... functional evaluation, integration, rootfinding, and other operations...

PolyMat
 Referenced in 5 articles
[sw40601]
 Next, we couple a Discrete Material Optimization interpolation with the existing penalization and introduce ... that remains due to the density filter operation is eliminated via continuation on the filter...

FastMag
 Referenced in 1 article
[sw36967]
 integrals are computed using a nonuniform grid interpolation method, which evaluates the field from ... collocated observers in O(N) operations. This approach allows handling objects of arbitrary shape, allows...

Jet_fitting_3
 Referenced in 3 articles
[sw22886]
 established in a companion paper, the interpolation and approximation methods provided achieve the best asymptotic ... geometries, and (d) the linear algebra operations. An instantiation within the Computational Geometry Algorithms Library...

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

XROTOR
 Referenced in 1 article
[sw19863]
 rotor with a wealth of choices of operating parameters; Incoming slipstream effects (from an upstream ... Acoustic analysis with dB noise footprint predictions; Interpolation of geometry to radii of interest; Plotting...

SEGCloud
 Referenced in 2 articles
[sw36663]
 semantic scene labeling is fundamental to agents operating in the real world. In particular, labeling ... that combines the advantages of NNs, trilinear interpolation(TI) and fully connected Conditional Random Fields...

WhiteboxTools
 Referenced in 2 articles
[sw37771]
 sharpening, contrast adjustments), image mosaicing, numerous filtering operations, simple classification (kmeans), and common image ... segmented, tiled and joined, analyized for outliers, interpolated to rasters (DEMs, intensity images), and ground...

photobiology
 Referenced in 0 articles
[sw15121]
 photobiology: ’Photobiological’ Calculations. Definitions of classes, methods, operators and functions for use in ’photobiology ... between energy and photonbased units. Wavelength interpolation. Astronomical calculations related solar angles...

xgcm
 Referenced in 1 article
[sw29410]
 xgcm solves the problem of how to interpolate and difference these variables from one position ... atmospheric models and differential and integral operators suited to these grids. xgcm was motivated...