• ANSYS

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

  • Referenced in 169 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • Coq

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

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

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

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

  • Referenced in 275 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • R

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

  • Referenced in 737 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SINGULAR

  • Referenced in 1314 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • MACSYMA

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

  • Referenced in 163 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • DERIVE

  • Referenced in 64 articles [sw02964]
  • Derive is no longer available as a separate...
  • Haskell

  • Referenced in 832 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • UCI-ml

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

  • Referenced in 2498 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • GeoGebra

  • Referenced in 324 articles [sw04203]
  • GeoGebra is free and multi-platform dynamic mathematics...
  • Modelica

  • Referenced in 86 articles [sw04352]
  • Modelica is a freely available, object-oriented language...
  • LINDO

  • Referenced in 529 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...