• Mizar

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

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

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

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

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

  • Referenced in 120 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...