• GAP

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

  • Referenced in 3363 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Matlab

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

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

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

  • Referenced in 56 articles [sw04341]
  • KORBX® (a registered trademark of AT&T) is...
  • PORTA

  • Referenced in 127 articles [sw04869]
  • PORTA is a collection of routines for analyzing...
  • z3

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

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

  • Referenced in 49 articles [sw06749]
  • WSMP: A high-performance serial and parallel sparse...
  • Princess

  • Referenced in 28 articles [sw06872]
  • Theorem Proving in First-Order Logic modulo Linear...
  • Mace4

  • Referenced in 228 articles [sw06905]
  • finite model-finder Mace4. Mace4 is a program...
  • OpenSMT

  • Referenced in 28 articles [sw08426]
  • The OpenSMT solver. This paper describes OpenSMT, an...
  • Flyspeck

  • Referenced in 124 articles [sw10277]
  • Communicating formal proofs: the case of flyspeck. We...
  • CSIsat

  • Referenced in 15 articles [sw11407]
  • CSIsat: Interpolation for LA+EUF. We present CSIsat...
  • FOCI

  • Referenced in 62 articles [sw12868]
  • FOCI: and interpolating prover. FOCI is a decision...
  • AS 149

  • Referenced in 13 articles [sw14116]
  • Amalgamation of means in the case of simple...
  • ALGOL 60

  • Referenced in 669 articles [sw21807]
  • ALGOL 60 (short for Algorithmic Language 1960) is...
  • GitHub

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

  • Referenced in 195 articles [sw23625]
  • The 1998 Proof of the Kepler Conjecture. The...