• Coq

  • Referenced in 1502 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 483 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • R

  • Referenced in 6475 articles [sw00771]
  • R is a language and environment for statistical...
  • SageMath

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

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

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