• Mizar

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

  • Referenced in 117 articles [sw05324]
  • HOMPACK: A suite of codes for globally convergent...
  • JBool

  • Referenced in 89 articles [sw06185]
  • This software promotes some general and useful tools...
  • OEIS

  • Referenced in 2773 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • ML-KNN

  • Referenced in 49 articles [sw12923]
  • Ml-knn: A lazy learning approach to multi...
  • Pesca

  • Referenced in 92 articles [sw13664]
  • PESCA = Proof Editor for Sequent Calculus: Pesca is...
  • daTac

  • Referenced in 3 articles [sw26325]
  • daTac - Déduction Automatique dans des Théories Associatives-Commutatives...