• CLIFFORD

  • Referenced in 84 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • Coq

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

  • Referenced in 119 articles [sw00322]
  • The GAUSS Mathematical and Statistical System is a...
  • Maple

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

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

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

  • Referenced in 316 articles [sw00724]
  • polymake is open source software for research in...
  • R

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

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

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

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

  • Referenced in 251 articles [sw02076]
  • Practical power analysis attacks on software implementations of...
  • INTLAB

  • Referenced in 471 articles [sw04004]
  • INTLAB is the Matlab toolbox for reliable computing...
  • SPSS

  • Referenced in 673 articles [sw04269]
  • SPSS is a computer program used for survey...
  • KernSmooth

  • Referenced in 978 articles [sw04586]
  • Kernel smoothing refers to a general methodology for...
  • Stata

  • Referenced in 838 articles [sw06029]
  • Stata is a complete, integrated statistical package that...
  • SAS

  • Referenced in 1555 articles [sw06377]
  • SAS (Statistical Analysis System) is an integrated system...
  • Mplus

  • Referenced in 346 articles [sw06511]
  • Mplus is a statistical modeling program that provides...