• z3

  • Referenced in 502 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • GSL

  • Referenced in 248 articles [sw05883]
  • The GNU Scientific Library (GSL) is a numerical...
  • gss

  • Referenced in 274 articles [sw06099]
  • Smoothing spline ANOVA models Nonparametric function estimation with...
  • gcrma

  • Referenced in 96 articles [sw06104]
  • Bioconductor/R package gcrma: Background Adjustment Using Sequence Information...
  • SAS

  • Referenced in 1506 articles [sw06377]
  • SAS (Statistical Analysis System) is an integrated system...
  • edgeR

  • Referenced in 47 articles [sw06936]
  • edgeR: a Bioconductor package for differential expression analysis...
  • igraph

  • Referenced in 159 articles [sw07066]
  • The igraph software package for complex network research...
  • WGCNA

  • Referenced in 17 articles [sw07123]
  • R package WGCNA: Weighted Correlation Network Analysis. Functions...
  • BoolNet

  • Referenced in 14 articles [sw07365]
  • BoolNet: Generation, reconstruction, simulation and analysis of synchronous...
  • bnlearn

  • Referenced in 59 articles [sw08265]
  • R package bnlearn: Bayesian network structure learning, parameter...
  • Cytoscape

  • Referenced in 72 articles [sw09080]
  • Cytoscape: A Software Environment for Integrated Models of...
  • Clingo

  • Referenced in 64 articles [sw09893]
  • Potassco, the Potsdam Answer Set Solving Collection, bundles...
  • dde23

  • Referenced in 161 articles [sw10139]
  • dde23. Solve delay differential equations (DDEs) with constant...
  • BayesDA

  • Referenced in 1126 articles [sw11008]
  • BayesDA: Functions and Datasets for the book ”Bayesian...
  • C4.5

  • Referenced in 1126 articles [sw12176]
  • C4.5: programs for machine learning. (C4.5 has been...
  • COPASI

  • Referenced in 63 articles [sw12253]
  • COPASI: biochemical network simulator. COPASI is a software...
  • MARCIE

  • Referenced in 8 articles [sw12882]
  • MARCIE -- model checking and reachability analysis done efficiently...
  • Metatool

  • Referenced in 23 articles [sw13278]
  • Metatool 5.0: fast and flexible elementary modes analysis...
  • Dynagraph

  • Referenced in 13 articles [sw13656]
  • The Dynagraph libraries are written in platform-neutral...
  • BioNet

  • Referenced in 5 articles [sw13828]
  • The BioNet package provides an extensive framework for...