• Matlab

  • Referenced in 12640 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • SINGULAR

  • Referenced in 1441 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • Kronos

  • Referenced in 263 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • Graphviz

  • Referenced in 88 articles [sw01283]
  • Graphviz is open source graph visualization software. Graph...
  • CUDA

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

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

  • Referenced in 1216 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • Gurobi

  • Referenced in 572 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • Walksat

  • Referenced in 207 articles [sw04328]
  • GSAT and WalkSat are local search algorithms to...
  • Simulink

  • Referenced in 771 articles [sw04348]
  • Simulink® is an environment for multidomain simulation and...
  • Uppaal

  • Referenced in 639 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • DLMF

  • Referenced in 2451 articles [sw04968]
  • NIST digital library of mathematical functions. The National...
  • Maude

  • Referenced in 675 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • Dymola

  • Referenced in 52 articles [sw06285]
  • Dymola, Dynamic Modeling Laboratory, is a complete tool...
  • OEIS

  • Referenced in 3856 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • M-TRAN

  • Referenced in 20 articles [sw07572]
  • M-TRAN (Modular Transformer) is a self-reconfigurable...
  • Roombots

  • Referenced in 3 articles [sw07573]
  • Roombots: Modular robotics for adaptive and self-organizing...
  • Molecubes

  • Referenced in 9 articles [sw07574]
  • Molecubes – an attractive programmable robotics system Molecubes could...
  • DIMACS

  • Referenced in 546 articles [sw08221]
  • The DIMACS Implementation Challenges address questions of determining...