• LiE

  • Referenced in 137 articles [sw01075]
  • core of the system. This core consists of programs representing some 100 mathematical functions...
  • MuPAD

  • Referenced in 135 articles [sw00606]
  • MuPAD consists of a powerful symbolic engine, a language that is optimized for operating...
  • BVPh

  • Referenced in 134 articles [sw06575]
  • convergence of a solution. This book consists of three parts. Part I provides its basic...
  • UTA Plus

  • Referenced in 131 articles [sw16225]
  • based on a principle of ordinal regression, consist in solving a small linear program...
  • NAS Parallel Benchmarks

  • Referenced in 125 articles [sw08853]
  • from computational fluid dynamics (CFD) applications and consist of five kernels and three pseudo-applications...
  • ILUT

  • Referenced in 124 articles [sw08734]
  • certain threshold. The second class of methods consists of techniques derived from modifications...
  • DOLFIN

  • Referenced in 121 articles [sw04313]
  • element assembly. To provide a simple and consistent user interface, DOLFIN wraps the functionality...
  • M-MACBETH

  • Referenced in 87 articles [sw16199]
  • into the software, it automatically verifies their consistency. A numerical scale is generated that ... entirely consistent with all the decision maker ’s judgements. Through a similar process weights...
  • SuLQ

  • Referenced in 114 articles [sw11355]
  • entries. In such a database, a query consists of a pair (S, f) where...
  • Vador

  • Referenced in 100 articles [sw06987]
  • particles under the effects of self-consistent electro magnetic fields. The unknown...
  • CALMA

  • Referenced in 98 articles [sw03235]
  • within the CALMA project by a consortium consisting of research groups from Delft, Eindhoven, London...
  • AIMMS

  • Referenced in 90 articles [sw04912]
  • complex decisions faster, more accurately, and more consistently by suggesting & comparing optimal solutions...
  • MICE

  • Referenced in 85 articles [sw09315]
  • Passive imputation can be used to maintain consistency between variables. Various diagnostic plots are available...
  • VTK

  • Referenced in 85 articles [sw10593]
  • computer graphics, image processing and visualization. VTK consists of a C++ class library and several...
  • COIL-20

  • Referenced in 61 articles [sw30991]
  • available in two versions. The first, [unprocessed], consists of images for five of the objects ... background has been discarded (and the images consist of the smallest square that contains...
  • CSPLib

  • Referenced in 81 articles [sw04150]
  • test problems for constraint solvers. The library consists of: problems organised by subject area...
  • Cosy

  • Referenced in 81 articles [sw07711]
  • cross-checked and verified. The COSY system consists of the following parts...
  • SCALCG

  • Referenced in 81 articles [sw08453]
  • convergent. Preliminary computational results, for a set consisting of 500 unconstrained optimization test problems, show...
  • CBMC

  • Referenced in 71 articles [sw09719]
  • check ANSI-C and C++ for consistency with other languages, such as Verilog. The verification...