• SeDuMi

  • Referenced in 1281 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • SDPT3

  • Referenced in 703 articles [sw04009]
  • This software is designed to solve conic programming...
  • UCI-ml

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

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

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

  • Referenced in 818 articles [sw04348]
  • Simulink® is an environment for multidomain simulation and...
  • SNOOPY

  • Referenced in 34 articles [sw04386]
  • Snoopy is a software tool to design and...
  • fda (R)

  • Referenced in 1531 articles [sw04511]
  • fda: Functional Data Analysis , These functions were developed...
  • KernSmooth

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

  • Referenced in 505 articles [sw04704]
  • The Mizar System is the only implementation of...
  • INTOPT_90

  • Referenced in 306 articles [sw04705]
  • Rigorous global search: continuous problems The monograph gives...
  • Genocop

  • Referenced in 1099 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • mctoolbox

  • Referenced in 1486 articles [sw04827]
  • The Matrix Computation Toolbox is a collection of...
  • z3

  • Referenced in 597 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • Prover9

  • Referenced in 198 articles [sw04969]
  • Prover9 and Mace4: Prover9 is an automated theorem...
  • minpack

  • Referenced in 732 articles [sw05310]
  • Notes on optimization software. This paper is an...
  • NumPy

  • Referenced in 555 articles [sw06294]
  • NumPy is the fundamental package for scientific computing...
  • ETPS

  • Referenced in 160 articles [sw06302]
  • TPS and ETPS are, respectively, the Theorem Proving...
  • SAS

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