Results 1 to 20 of 51
Sort by:

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

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

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

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

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

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

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

  • MuPAD
  • Referenced in 139 articles [sw00606]
  • MuPAD consists of a powerful symbolic engine, a...

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

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

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

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

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

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

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

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

  • UCI-ml
  • Referenced in 3435 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...

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

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