
EKRHyper
 Referenced in 13 articles
[sw21368]
 knowledge representation. In contrast to most first order theorem provers, it supports features important ... large sets of uniformly structured input facts, arithmetic evaluation and stratified negation as failure...

DynaThinLayer
 Referenced in 5 articles
[sw08738]
 order thin layer method for viscoelastic wave propagation in stratified media. Wave propagation in stratified ... structures, countermine technology, structural health monitoring, and vehicle weighinmotion systems. A highorder ... method for analyzing viscoelastic wave propagation in stratified media. It approximates the stiffness matrix involving...

FuSulfPred
 Referenced in 3 articles
[sw36890]
 model using stratified structure of three kinds of decision trees in order to identify possible...

HERCULES
 Referenced in 5 articles
[sw25126]
 high order finite difference solver for massively parallel simulations of stably stratified turbulent channel flows ... Investigation of stably stratified turbulent flows in the atmosphere is challenging owing to its nonstationarity ... strongly stratified flows. Owing to its highly accurate representation of smallscale turbulence structures, direct ... stratified channel flows are limited to relatively low Reynolds numbers. In order to make...

BEMLIB
 Referenced in 108 articles
[sw00005]
 BEMLIB is a boundaryelement software library of...

GAP
 Referenced in 3154 articles
[sw00320]
 GAP is a system for computational discrete algebra...

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

Matlab
 Referenced in 13460 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MPDATA
 Referenced in 76 articles
[sw00596]
 MPDATA: A finitedifference solver for geophysical flows...

PHCpack
 Referenced in 236 articles
[sw00705]
 Algorithm 795: PHCpack: A generalpurpose solver for...

PLTMG
 Referenced in 215 articles
[sw00717]
 PLTMG 11.0 is a package for solving elliptic...

R
 Referenced in 9810 articles
[sw00771]
 R is a language and environment for statistical...

SingSurf
 Referenced in 31 articles
[sw00865]
 A Program for calculating singular algebraic curves and...

SLEPc
 Referenced in 194 articles
[sw00875]
 SLEPc the Scalable Library for Eigenvalue Problem Computations...

SuperLU
 Referenced in 193 articles
[sw00930]
 SuperLU is a general purpose library for the...

AUTO
 Referenced in 942 articles
[sw01059]
 AUTO is a software for continuation and bifurcation...

CLAWPACK
 Referenced in 136 articles
[sw01069]
 Clawpack stands for “Conservation Laws Package” and was...

LISPSTAT
 Referenced in 117 articles
[sw01111]
 LispStat is an extensible statistical computing environment...

MACSYMA
 Referenced in 720 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

QUADPACK
 Referenced in 260 articles
[sw01236]
 Fortran subprograms for evaluating definite integrals of functions...