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