• cvc3

  • Referenced in 85 articles [sw04886]
  • CVC3 is an automatic theorem prover for Satisfiability...
  • HOMPACK

  • Referenced in 121 articles [sw05324]
  • Algorithm 652, HOMPACK: A suite of codes for...
  • MINLPLib

  • Referenced in 86 articles [sw06172]
  • MINLPLib -- a collection of test models for mixed...
  • Axel

  • Referenced in 22 articles [sw06457]
  • Axel is an algebraic geometric modeler that aims...
  • VIM

  • Referenced in 19 articles [sw06776]
  • R package VIM: Visualization and Imputation of Missing...
  • CRAG

  • Referenced in 8 articles [sw06865]
  • CRyptography And Groups (CRAG) C++ and Python Library...
  • SnapPea

  • Referenced in 161 articles [sw06873]
  • A program for creating and studying hyperbolic 3...
  • SnapPy

  • Referenced in 128 articles [sw06874]
  • SnapPy is a program for studying the topology...
  • CAPD

  • Referenced in 76 articles [sw07620]
  • Software library that aims to provide a set...
  • KnotTheory

  • Referenced in 14 articles [sw07758]
  • KnotTheory, Mathematica Package for calculation of knot invariants...
  • MLPACK

  • Referenced in 14 articles [sw08468]
  • MLPACK: a scalable C++ machine learning library. MLPACK...
  • preCICE

  • Referenced in 19 articles [sw08713]
  • preCICE (Precise Code Interaction Coupling Environment) is a...
  • CHomP

  • Referenced in 47 articles [sw09358]
  • CHomP, Computational homology project. Much of the fascination...
  • QRM

  • Referenced in 691 articles [sw11358]
  • R package QRM: Provides R-language Code to...
  • ECOS

  • Referenced in 45 articles [sw12123]
  • ECOS is an open-source numerical software package...
  • Python

  • Referenced in 1898 articles [sw14460]
  • Python is a widely used high-level, general...
  • BENCHOP

  • Referenced in 31 articles [sw14867]
  • BENCHOP - the benchmarking project in option pricing. The...