• libROM

  • Referenced in 13 articles [sw34791]
  • based ROMs using the discrete empirical interpolation method (DEIM). The original libROM release was written...
  • RBniCS

  • Referenced in 12 articles [sw33333]
  • algorithms (such as successive constraint method, empirical interpolation method) in the library...
  • Spacer

  • Referenced in 11 articles [sw19496]
  • applying QE lazily. We use existing interpolation techniques to over-approximate QE and introduce Model ... Based Projection to under-approximate QE. Empirical evaluation on SV-COMP benchmarks shows that...
  • LAMG

  • Referenced in 30 articles [sw06551]
  • LAMG’s run time and storage are empirically demonstrated to scale linearly with the number ... applications. LAMG combines a lean piecewise-constant interpolation, judicious node aggregation based...
  • PyEMD

  • Referenced in 2 articles [sw26235]
  • This is yet another Python implementation of Empirical Mode Decomposition (EMD). The package contains many ... splines for envelopes, stopping criteria and extrema interpolation...
  • FLUID

  • Referenced in 1 article [sw19871]
  • simple gas model, empirical corrections, and an efficient numerical interpolation scheme. FLUID produces results that...
  • vx_dbel

  • Referenced in 3 articles [sw37455]
  • command, vxdbel, to execute exact density-based empirical likelihood-ratio tests using K samples ... Monte Carlo p-value evaluations; 2) an interpolation technique based on tabulated critical values...
  • i-RevNet

  • Referenced in 4 articles [sw29632]
  • problem at hand. This is supported empirically by the difficulty of recovering images from their ... RevNet we reconstruct linear interpolations between natural image representations...
  • HapMix

  • Referenced in 6 articles [sw33847]
  • population allele frequencies, and a script to interpolate estimates of local ancestry to a superset ... dates of admixture. We validate the method empirically by applying it to populations that have...
  • tsc

  • Referenced in 1 article [sw21504]
  • correction technique; the newly proposed density-based empirical likelihood (DBEL) ratio test. To calculate ... method implemented in C++, (b) a new interpolation method based on regression techniques to operate...
  • gNUFFTW

  • Referenced in 1 article [sw31003]
  • approaches require selecting several parameters, such as interpolation and FFT grid sizes, which affect both ... FFTW library, we demonstrate an empirical auto-tuning approach for the NUFFT on General Purpose...
  • ADOL-C

  • Referenced in 244 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ANSYS

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

  • Referenced in 13 articles [sw00089]
  • Algorithm 812: BPOLY: An object-oriented library of...
  • CoCoA

  • Referenced in 646 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • FLINT

  • Referenced in 56 articles [sw00297]
  • Fast library for number theory: an introduction. We...
  • LAPACK

  • Referenced in 1659 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LEDA

  • Referenced in 261 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Maple

  • Referenced in 5253 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6166 articles [sw00554]
  • Almost any workflow involves computing results, and that...