• Bpipe

  • Referenced in 1 article [sw27407]
  • controlled and repeatable fashion and keeps audit trails and logs to ensure that experimental results ... reproducible. Requiring only Java as a dependency, Bpipe is fully self-contained and cross-platform...
  • MEMOIR

  • Referenced in 4 articles [sw02321]
  • large companies, whose business is critically dependent on the effectiveness of their R&D function ... interface via standard Web browsers. It uses trails, open hypermedia link services...
  • SimFactory

  • Referenced in 2 articles [sw08476]
  • Simulation Factory: Performing large three-dimensional time-dependent simulations is a complex numerical task. Managing ... experienced users, and they create a log trail ensuring repeatable and well-documented scientific results...
  • TACOMA

  • Referenced in 2 articles [sw22227]
  • order to generate inlet boundary conditions dependant only on the radial direction. The two elements ... surface temperature predictions by ±8% near the trailing edge of the vane suction side...
  • Isabelle

  • Referenced in 639 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Matlab

  • Referenced in 12721 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 8904 articles [sw00771]
  • R is a language and environment for statistical...
  • TURBIT

  • Referenced in 12 articles [sw03166]
  • Numerical simulation of oscillatory convection in low Prandtl...
  • SPIN

  • Referenced in 716 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Haskell

  • Referenced in 862 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • Uppaal

  • Referenced in 640 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • CliffMath

  • Referenced in 21 articles [sw04955]
  • Operator calculus on graphs. Theory and applications in...
  • CliffSymNil

  • Referenced in 12 articles [sw04956]
  • Mathematica: Zeon, abelian Clifford, and abelian-idempotent Clifford...
  • CliffOC

  • Referenced in 18 articles [sw04957]
  • Operator calculus on graphs. Theory and applications in...
  • HOL

  • Referenced in 532 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • Chebfun

  • Referenced in 365 articles [sw05897]
  • Chebfun is a collection of algorithms and a...
  • TAPENADE

  • Referenced in 137 articles [sw06598]
  • TAPENADE is an Automatic Differentiation Engine developed at...
  • ode23

  • Referenced in 298 articles [sw06600]
  • The MATLAB ODE Suite: ode23: Solve nonstiff differential...
  • ode45

  • Referenced in 294 articles [sw06762]
  • Matlab ode45. Solve nonstiff differential equations; medium order...