• kappalab

  • Referenced in 50 articles [sw06086]
  • capacity (or non-additive measure, fuzzy measure) and integral manipulation on a finite setting ... contains routines for handling various types of set functions such as games or capacities ... multicriteria decision making or cooperative game theory...
  • TituRel

  • Referenced in 8 articles [sw08501]
  • investigations: games, (bi-)simulations, topology, qualitative fuzzy considerations, theory extraction, social choice, decision support ... transformations. Its generic construction of dependent types make it also a field of research...
  • FuzzME

  • Referenced in 3 articles [sw00312]
  • decision making. The type of evaluations employed in the fuzzy models fully ... corresponds with the paradigm of the fuzzy set theory; the evaluations express the (fuzzy) degrees...
  • MiniBrass

  • Referenced in 1 article [sw31298]
  • constraints have been proposed, such as weighted, fuzzy, or probabilistic constraints. All of them were ... theory. MiniBrass turns these theoretical considerations into practice: It offers a generic extensible PVS type...
  • ANSYS

  • Referenced in 703 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • GAP

  • Referenced in 3154 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • InterViewer

  • Referenced in 29 articles [sw00443]
  • InterViewer: Dynamic visualization of protein-protein interactions From...
  • Isabelle

  • Referenced in 698 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LAPACK

  • Referenced in 1695 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

  • Referenced in 1904 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 262 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

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

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

  • Referenced in 304 articles [sw00563]
  • R package mclust: Normal Mixture Modeling for Model...
  • MiniSat

  • Referenced in 565 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • Octave

  • Referenced in 304 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • SETHEO

  • Referenced in 122 articles [sw00707]
  • SETHEO: A high-performance theorem prover. The paper...