• Coq

  • Referenced in 1487 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Grail

  • Referenced in 17 articles [sw00374]
  • Grail is a symbolic computation environment for finite...
  • MiniSat

  • Referenced in 479 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • SageMath

  • Referenced in 1236 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • Bioconductor

  • Referenced in 165 articles [sw04205]
  • Bioconductor provides tools for the analysis and comprehension...
  • spatial

  • Referenced in 297 articles [sw04502]
  • spatial: Functions for Kriging and Point Pattern Analysis...
  • YACC

  • Referenced in 65 articles [sw26931]
  • Yacc (Yet Another Compiler-Compiler) is a computer...