• TPTP

  • Referenced in 401 articles [sw04143]
  • The TPTP (Thousands of Problems for Theorem Provers...
  • Qhull

  • Referenced in 332 articles [sw04419]
  • The convex hull of a point set P...
  • Mizar

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

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

  • Referenced in 41 articles [sw09985]
  • leanTAP revisited. The Prolog program leanTAP is a...
  • Prefuse

  • Referenced in 7 articles [sw10654]
  • Prefuse: a toolkit for interactive information visualization. Although...
  • TRAMP

  • Referenced in 21 articles [sw21343]
  • TRAMP: Transformation of Machine-Found Proofs into Natural...
  • P.rex

  • Referenced in 9 articles [sw21344]
  • Fiedler, A.: P.rex: An interactive proof explainer. This...
  • IDV

  • Referenced in 7 articles [sw21371]
  • An interactive derivation viewer. This work describes the...