• ArgeCare

  • Referenced in 1 article [sw32990]
  • ArgeCare - Simulation of Railway dynamics. ArgeCare is specialized on: Railway vehicle simulation for design purposes ... Railway vehicle dynamics for certification; Wear computation of wheel and rail profiles; Computation of pressure...
  • FASTSIM2

  • Referenced in 1 article [sw03289]
  • line application in vehicle system dynamics simulation packages. The FASTSIM algorithm is the leading technology ... employed in all dominant railway vehicle system dynamics packages (VSD) in the world. The main...
  • SISYFE

  • Referenced in 1 article [sw16540]
  • railway system, defined by: trains running, signalling and driver behaviour, is very complex. Its dynamic ... named SISYFE to allow to model the railway network with different: signalling systems, types...
  • ClearRoute

  • Referenced in 1 article [sw13060]
  • software tool for calculating the clearances between railway vehicles and the infrastructure. The software ... provide clearances between infrastructure and dynamic or static vehicles, passing clearances between...
  • ANSYS

  • Referenced in 713 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • LANCELOT

  • Referenced in 310 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • Maple

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

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

  • Referenced in 584 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • NAG

  • Referenced in 425 articles [sw00610]
  • Produced by experts for use in a variety...
  • PSPLIB

  • Referenced in 277 articles [sw00740]
  • PSPLIB -- a project scheduling problem library. We present...
  • R

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

  • Referenced in 958 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • SCIP

  • Referenced in 554 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • PRISM

  • Referenced in 454 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • mCRL2

  • Referenced in 58 articles [sw01496]
  • mCRL2 stands for micro Common Representation Language 2...
  • MBSPACK

  • Referenced in 41 articles [sw02146]
  • MBSPACK -- numerical integration software for constrained mechanical motion...
  • CASL

  • Referenced in 174 articles [sw02235]
  • The specification language developed by CoFI is called...
  • J-MEANS

  • Referenced in 74 articles [sw02649]
  • J-MEANS: A new local search heuristic for...
  • JIFEX

  • Referenced in 6 articles [sw03111]
  • New development of numerical methods for contact analysis...