• SARAH

  • Referenced in 34 articles [sw06472]
  • theory can be chosen. CP and flavor violation can easily be switched...
  • NEST

  • Referenced in 2 articles [sw14950]
  • uses unique concepts such as Differential Traffic Theory and Distributed Hybrid Simulation, which is patented ... modeling packet switched, circuit switched and virtual circuit switched networks. QoS Design has also developed...
  • QNSTOP

  • Referenced in 2 articles [sw26832]
  • Castle and Trosset. For stochastic problems, convergence theory exists for the particular algorithmic choices ... deterministic global optimization, based on an input switch. QNSTOP is particularly effective for “noisy” deterministic...
  • BEMLIB

  • Referenced in 81 articles [sw00005]
  • BEMLIB is a boundary-element software library of...
  • BARON

  • Referenced in 265 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • cdd

  • Referenced in 100 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • Coq

  • Referenced in 1495 articles [sw00161]
  • Coq is a formal proof management system. It...
  • FEMSTER

  • Referenced in 18 articles [sw00275]
  • FEMSTER is a modular finite element class library...
  • FIAT

  • Referenced in 29 articles [sw00287]
  • Algorithm 839: FIAT, a new paradigm for computing...
  • FLAME

  • Referenced in 37 articles [sw00293]
  • We present a number of application program interfaces...
  • GAP

  • Referenced in 2386 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • GAUSS

  • Referenced in 110 articles [sw00322]
  • The GAUSS Mathematical and Statistical System is a...
  • Gmsh

  • Referenced in 363 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • GreatSPN

  • Referenced in 55 articles [sw00384]
  • GreatSPN2.0 is a software package for the modeling...
  • HSL

  • Referenced in 228 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • hypre

  • Referenced in 209 articles [sw00426]
  • hypre is a software library for the solution...
  • KORALZ

  • Referenced in 14 articles [sw00493]
  • rief information on new features of KORALZ version...
  • Magma

  • Referenced in 2338 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 4640 articles [sw00545]
  • The result of over 30 years of cutting...