• Coq

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

  • Referenced in 3190 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Beluga

  • Referenced in 26 articles [sw01321]
  • Our main interest in this project is to...
  • SPSS

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

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

  • Referenced in 396 articles [sw06751]
  • The Nuprl system is a framework for reasoning...
  • Twelf

  • Referenced in 173 articles [sw06888]
  • Twelf is a language used to specify, implement...
  • Abella

  • Referenced in 52 articles [sw09461]
  • The Abella Interactive Theorem Prover (System Description). Abella...
  • LNgen

  • Referenced in 7 articles [sw10111]
  • LNgen: Tool Support for Locally Nameless Representations. Given...
  • BMDP

  • Referenced in 123 articles [sw10524]
  • BMDP is a statistical package developed in 1965...
  • recog

  • Referenced in 11 articles [sw11138]
  • GAP package recog: A collection of group recognition...
  • GitHub

  • Referenced in 2762 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...
  • manYPoints

  • Referenced in 46 articles [sw35141]
  • manYPoints - Table of Curves with Many Points. manYPoints...
  • GossipMap

  • Referenced in 2 articles [sw41758]
  • GossipMap: a distributed community detection algorithm for billion...