
Maple
 Referenced in 4956 articles
[sw00545]
 technical knowledge in an electronic form that combines calculations, explanatory text and math, graphics, images...

SemiPar
 Referenced in 643 articles
[sw07116]
 together. They refer to this combination as semiparametric regression. The approach to semiparametric regression...

HOL
 Referenced in 483 articles
[sw05492]
 particularly suitable as a platform for implementing combinations of deduction, execution, and property checking...

CGS
 Referenced in 298 articles
[sw08225]
 linear systems The presented method is a combination of the CGS algorithm (a “squared” conjugate ... conclusion of the author is that this combination is a competitive solver for nonsymmetric linear...

PRISM
 Referenced in 397 articles
[sw01186]
 based on sparse matrices; and one which combines both symbolic and sparse matrix methods. PRISM...

Scatter Search
 Referenced in 282 articles
[sw05291]
 Scatter search constructs new trial solutions by combining socalled reference solutions and employing strategic ... implementation goal is to create a combination of the five elements in the scatter search...

UMFPACK
 Referenced in 327 articles
[sw00989]
 sparse LU factorization is presented that combines a column preordering strategy with a right...

Mplus
 Referenced in 321 articles
[sw06511]
 categorical (ordinal), unordered categorical (nominal), counts, or combinations of these variable types. In addition, Mplus...

Chebfun
 Referenced in 310 articles
[sw05897]
 equations. The mathematical basis of the system combines tools of Chebyshev expansions, fast Fourier transform...

LSDYNA
 Referenced in 309 articles
[sw03068]
 DYNA A combined Implicit/Explicit solver. One scalable code for solving highly nonlinear transient problems enabling...

BARON
 Referenced in 307 articles
[sw00066]
 Optimization Navigator derives its name from its combining constraint propagation, interval analysis, and duality...

PSIBLAST
 Referenced in 217 articles
[sw17324]
 triggering the extension of word hits, combined with a new heuristic for generating gapped alignments ... addition, a method is introduced for automatically combining statistically significant alignments produced by BLAST into...

NuSMV
 Referenced in 289 articles
[sw04131]
 applied to other research areas. NuSMV2, combines BDDbased model checking component that exploits...

PARDISO
 Referenced in 264 articles
[sw00679]
 SMPs and Cluster of SMPs. Automatic combination of iterative and direct solver algorithms to accelerate...

FODE
 Referenced in 220 articles
[sw08377]
 RiemannLiouville derivative and Caputo derivative. Then combining the predictorcorrector approach with the method...

plfit
 Referenced in 205 articles
[sw23186]
 behavior in empirical data. Our approach combines maximumlikelihood fitting methods with goodness...

ggplot2
 Referenced in 201 articles
[sw04557]
 grammar of graphics in R. It combines the advantages of both base and lattice graphics...

CHEMKIN
 Referenced in 198 articles
[sw06684]
 able to investigate thousands of reaction combinations to develop a comprehensive understanding of a particular...

Robust Control Toolbox
 Referenced in 139 articles
[sw07907]
 robustness. You can create uncertain models by combining nominal dynamics with uncertain elements, such ... control system performance and identify worstcase combinations of uncertain elements. Hinfinity...

JML
 Referenced in 188 articles
[sw04597]
 specify the behavior of Java modules. It combines the design by contract approach of Eiffel...