Results 1 to 20 of 279
Sort by:

  • 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...