
libROM
 Referenced in 12 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 overapproximate QE and introduce Model ... Based Projection to underapproximate QE. Empirical evaluation on SVCOMP benchmarks shows that...

LAMG
 Referenced in 28 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 3 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...

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...

iRevNet
 Referenced in 3 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...

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 244 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ANSYS
 Referenced in 666 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 637 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

LAPACK
 Referenced in 1649 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 5199 articles
[sw00545]
 The result of over 30 years of cutting...

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