Results 1 to 20 of 23
Sort by:

  • 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...