• 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]
  • abstraction-based version, an interpolation-based version, and a combined version ... which uses a novel and powerful combination of interpolation-based and predicate abstraction-based 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 piecewise-constant 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...
  • AK-MCS

  • 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 quantifier-free theory of rational linear arithmetic ... equality with uninterpreted function symbols. Our implementation combines the efficiency of linear programming for solving...
  • ASTRO-DF

  • 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 moderate-order 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]
  • point-level 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, root-finding, 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 one-dimensional search. Scaling...
  • APFEL

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