
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 12 articles
[sw19496]
 applying QE lazily. We use existing interpolation techniques to overapproximate QE and introduce Model ... Based Projection to underapproximate QE. Empirical evaluation on SVCOMP benchmarks shows that...

LAMG
 Referenced in 34 articles
[sw06551]
 LAMG’s run time and storage are empirically demonstrated to scale linearly with the number ... applications. LAMG combines a lean piecewiseconstant 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 4 articles
[sw37455]
 command, vxdbel, to execute exact densitybased empirical likelihoodratio tests using K samples ... Monte Carlo pvalue evaluations; 2) an interpolation technique based on tabulated critical values...

iRevNet
 Referenced in 6 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 densitybased 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 autotuning approach for the NUFFT on General Purpose...

ADOLC
 Referenced in 257 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ANSYS
 Referenced in 713 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

BPOLY
 Referenced in 13 articles
[sw00089]
 Algorithm 812: BPOLY: An objectoriented library of...

CoCoA
 Referenced in 659 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

FEXACT
 Referenced in 15 articles
[sw00281]
 Algorithm 643 FEXACT: The computer code for Mehta...

FLINT
 Referenced in 58 articles
[sw00297]
 Fast library for number theory: an introduction. We...

Gmsh
 Referenced in 783 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

LAPACK
 Referenced in 1713 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LEDA
 Referenced in 264 articles
[sw00509]
 In the core computer science areas  data structures...