• E-KRHyper

  • 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 weigh-in-motion systems. A high-order ... method for analyzing viscoelastic wave propagation in stratified media. It approximates the stiffness matrix involving...
  • Fu-SulfPred

  • 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 small-scale 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 boundary-element 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 high-level language and interactive...
  • MPDATA

  • Referenced in 76 articles [sw00596]
  • MPDATA: A finite-difference solver for geophysical flows...
  • PHCpack

  • Referenced in 236 articles [sw00705]
  • Algorithm 795: PHCpack: A general-purpose 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...
  • LISP-STAT

  • Referenced in 117 articles [sw01111]
  • Lisp-Stat is an extensible statistical computing environment...
  • MACSYMA

  • Referenced in 720 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • QUADPACK

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