• ANSYS

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

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • Coq

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

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

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

  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

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

  • Referenced in 171 articles [sw00560]
  • Maxima is a system for the manipulation of...
  • R

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

  • Referenced in 17 articles [sw01093]
  • Omola - An object-oriented modeling language....
  • GLIM

  • Referenced in 199 articles [sw01126]
  • GLIM - a system for interactive fitting of generalized...
  • MACSYMA

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

  • Referenced in 4 articles [sw02590]
  • MOSES: Modular modelling of physical systems in an...
  • Eiffel

  • Referenced in 289 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • PETSc

  • Referenced in 1594 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...
  • UCI-ml

  • Referenced in 3444 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • RODAS

  • Referenced in 1757 articles [sw04112]
  • Rosenbrock method of order 4(3), for problems...
  • CONTACT

  • Referenced in 128 articles [sw04141]
  • CONTACT Vollebregt & Kalker’s rolling and sliding contact...
  • SimulationX

  • Referenced in 4 articles [sw04201]
  • Multi-domain System Simulation and Modeling. SimulationX is...