• Pellet

  • Referenced in 93 articles [sw07019]
  • Pellet for advanced integration or analysis applications, Clark & Parsia LLC can help in a variety...
  • ISOGAT

  • Referenced in 303 articles [sw00457]
  • A tutorial 2D MATLAB code for solving elliptic...
  • Matlab

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

  • Referenced in 9188 articles [sw00771]
  • R is a language and environment for statistical...
  • TSPLIB

  • Referenced in 687 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • GLIM

  • Referenced in 190 articles [sw01126]
  • GLIM - a system for interactive fitting of generalized...
  • ASSAT

  • Referenced in 173 articles [sw02524]
  • ASSAT (Answer Sets by SAT solvers) is a...
  • CHARMS

  • Referenced in 36 articles [sw02957]
  • Finite element solvers are a basic component of...
  • SCCP

  • Referenced in 79 articles [sw03318]
  • Convergence of a non-interior continuation algorithm for...
  • deal.ii

  • Referenced in 599 articles [sw03516]
  • deal.II is a C++ program library targeted at...
  • AS 194

  • Referenced in 3 articles [sw03825]
  • Algorithm AS 194. An algorithm for testing goodness...
  • AS 41

  • Referenced in 2 articles [sw03826]
  • Algorithm AS 41. Updating the sample mean and...
  • AS 178

  • Referenced in 2 articles [sw03827]
  • Algorithm AS 178. The Gauss-Jordan sweep operator...
  • AMPL

  • Referenced in 607 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...
  • Möbius

  • Referenced in 23 articles [sw04098]
  • Möbius™ is a software tool for modeling the...
  • SMT-LIB

  • Referenced in 190 articles [sw04103]
  • SMT-LIB was created with the expectation that...
  • NuSMV

  • Referenced in 305 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...