• Mathematica

  • Referenced in 5957 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

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

  • Referenced in 289 articles [sw01753]
  • Ada is a structured, statically typed, imperative, wide...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • The ELAN system provides an environment for specifying...
  • PROGRES

  • Referenced in 70 articles [sw02905]
  • Integrity constraints in the multi-paradigm language PROGRES...
  • CPLEX

  • Referenced in 2583 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • fda (R)

  • Referenced in 1346 articles [sw04511]
  • fda: Functional Data Analysis , These functions were developed...
  • CVX

  • Referenced in 720 articles [sw04594]
  • CVX is a modeling system for constructing and...
  • YALMIP

  • Referenced in 937 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • Excel

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

  • Referenced in 13 articles [sw06923]
  • PORGY aims at designing relevant graphical representations and...
  • Tulip

  • Referenced in 15 articles [sw07464]
  • Tulip. This paper briefly presents some of the...
  • BioNetGen

  • Referenced in 57 articles [sw09072]
  • BioNetGen: software for rule-based modeling of signal...
  • GROOVE

  • Referenced in 50 articles [sw09480]
  • GRaphs for Object-Oriented VErification (GROOVE). GROOVE is...
  • visone

  • Referenced in 12 articles [sw12042]
  • Analysis and Visualization of Social Networks. We describe...
  • GitHub

  • Referenced in 1678 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...
  • CCSTM

  • Referenced in 34 articles [sw33312]
  • CCSTM: A library-based STM for Scala. We...
  • MOSBIE

  • Referenced in 2 articles [sw34560]
  • MOSBIE (MOdel Simulation Browser and Interactive Explorer): MOSBIE...