• Mathematica

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

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

  • Referenced in 49 articles [sw00573]
  • Many inequalities involving the functions ln, exp, sin...
  • nauty

  • Referenced in 544 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • QEPCAD

  • Referenced in 273 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • REDUCE

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

  • Referenced in 1538 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SINGULAR

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

  • Referenced in 143 articles [sw00961]
  • The software system Theorema provides a uniform logic...
  • MACSYMA

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

  • Referenced in 502 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • CLEAN

  • Referenced in 58 articles [sw01346]
  • Clean is a functional language based on Term...
  • SATLIB

  • Referenced in 57 articles [sw02107]
  • SATLIB is a collection of benchmark problems, solvers...
  • SNOPT

  • Referenced in 495 articles [sw02300]
  • SNOPT: An SQP algorithm for large-scale constrained...
  • VAMPIRE

  • Referenced in 232 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...
  • Haskell

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

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