• WordNet

  • Referenced in 393 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • KRAKATOA

  • Referenced in 86 articles [sw03159]
  • The KRAKATOA tool for certification of JAVA/JAVACARD programs...
  • CUDA

  • Referenced in 1207 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • SPIN

  • Referenced in 712 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Haskell

  • Referenced in 851 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • SPSS

  • Referenced in 634 articles [sw04269]
  • SPSS is a computer program used for survey...
  • YAWL

  • Referenced in 60 articles [sw04388]
  • YAWL (Yet Another Workflow Language) is a workflow...
  • Bonmin

  • Referenced in 187 articles [sw04766]
  • An algorithmic framework for convex mixed integer nonlinear...
  • LIBSVM

  • Referenced in 1101 articles [sw04879]
  • LIBSVM is a library for Support Vector Machines...
  • z3

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

  • Referenced in 80 articles [sw04892]
  • The LLVM Project is a collection of modular...
  • PPL

  • Referenced in 96 articles [sw05357]
  • Possibly not closed convex polyhedra and the Parma...
  • PURRS

  • Referenced in 8 articles [sw05465]
  • PURRS (the Parma University’s Recurrence Relation Solver...
  • GSL

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

  • Referenced in 63 articles [sw06272]
  • Gecode is a toolkit for developing constraint-based...
  • GHC

  • Referenced in 103 articles [sw06691]
  • Secrets of the Glasgow Haskell Compiler inliner. Higher...
  • Excel

  • Referenced in 773 articles [sw06848]
  • Microsoft Excel is a powerful spreadsheet application that...
  • MineLib

  • Referenced in 15 articles [sw07469]
  • MineLib: a library of open pit mining problems...
  • MultiMin

  • Referenced in 70 articles [sw07546]
  • multiMin solves general constrained mixed-integer global optimization...