
kappalab
 Referenced in 50 articles
[sw06086]
 capacity (or nonadditive 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 proteinprotein 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 highlevel 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 SATsolver. MiniSat is a minimalistic...

Octave
 Referenced in 304 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

SETHEO
 Referenced in 122 articles
[sw00707]
 SETHEO: A highperformance theorem prover. The paper...