
Chebfun
 Referenced in 423 articles
[sw05897]
 system combines tools of Chebyshev expansions, fast Fourier transform, barycentric interpolation, recursive zerofinding, and automatic...

UFO
 Referenced in 23 articles
[sw09570]
 abstractionbased version, an interpolationbased version, and a combined version ... which uses a novel and powerful combination of interpolationbased and predicate abstractionbased algorithms...

MathSAT5
 Referenced in 56 articles
[sw09569]
 their combinations, and provides many functionalities (like e.g., unsat cores, interpolation, AllSMT). MathSAT5 improves...

LAMG
 Referenced in 34 articles
[sw06551]
 traditional multigrid applications. LAMG combines a lean piecewiseconstant interpolation, judicious node aggregation based...

MathSAT
 Referenced in 61 articles
[sw09449]
 solver. MathSAT 4 handles several useful theories: (combinations of) equality and uninterpreted functions, difference logic ... computation of unsatisfiable cores and Craig interpolants (for abstraction refinement...

AKMCS
 Referenced in 72 articles
[sw18303]
 active learning reliability method combining Kriging and Monte Carlo Simulation. An important challenge in structural ... presents interesting characteristics such as exact interpolation and a local index of uncertainty ... Active learning reliability method combining Kriging and Monte Carlo Simulation. It is shown...

dynopt
 Referenced in 2 articles
[sw29118]
 coefficients of the linear combinations. Lagrange interpolation polynomials are used. In addition, each segment...

k2
 Referenced in 2 articles
[sw39144]
 this should make it easy to interpolate and combine various training objectives such as cross...

CSIsat
 Referenced in 15 articles
[sw11407]
 present CSIsat, an interpolating decision procedure for the quantifierfree theory of rational linear arithmetic ... equality with uninterpreted function symbols. Our implementation combines the efficiency of linear programming for solving...

ASTRODF
 Referenced in 12 articles
[sw26833]
 order critical points when using stochastic polynomial interpolation models. The question of using more complicated ... models, e.g., regression or stochastic kriging, in combination with adaptive sampling is worth further investigation...

ROMS
 Referenced in 35 articles
[sw30140]
 local variations in the density field; vertical interpolation performed using conservative parabolic splines; and higher ... latitude ocean basin. The combination of moderateorder spatial approximations, enhanced conservation properties, and quasi...

ICON
 Referenced in 9 articles
[sw31159]
 complexity indicates that the ICON dynamical core combines high numerical stability over steep mountain slopes ... diffusivity. Preliminary NWP test suites initialized with interpolated analysis data reveal that the ICON modelling...

SEGCloud
 Referenced in 2 articles
[sw36663]
 pointlevel segmentation that combines the advantages of NNs, trilinear interpolation(TI) and fully connected...

AmgX
 Referenced in 14 articles
[sw13440]
 based AMG methods with different selector and interpolation strategies, along with a variety of smoothers ... Krylov subspace iterative methods, which can be combined with any of the available multigrid methods...

Dagger
 Referenced in 15 articles
[sw04953]
 false errors: (1) a new operator called interpolated widen, which automatically recovers precision lost ... techniques are effective and that their combination is even more effective than...

C05ADF
 Referenced in 1 article
[sw36287]
 given interval by a combination of the methods of nonlinear interpolation, linear extrapolation and bisection...

RcppGSL
 Referenced in 7 articles
[sw10617]
 mathematical routines such as special functions, permutations, combinations, fast fourier transforms, eigensystems, random numbers, quadrature ... tuples, differential equations, simulated annealing, numerical differentiation, interpolation, series acceleration, Chebyshev approximations, rootfinding, discrete...

proFit
 Referenced in 1 article
[sw39177]
 data points consisting of different input parameter combinations and the resulting output of the model ... allows to predict (”interpolate”) the output at yet unexplored parameter combinations including uncertainty estimates...

ADS
 Referenced in 4 articles
[sw13387]
 treated. An example of available combinations is the augmented Lagrange multiplier method, using the BFGS ... variable metric unconstrained minimization together with polynomial interpolation for the onedimensional search. Scaling...

APFEL
 Referenced in 9 articles
[sw17629]
 space by means of higher order interpolation, followed by RungeKutta solution of the resulting ... evolution equations and their combination. In addition to PDF evolution, APFEL provides a module that...