
FMP
 Referenced in 2 articles
[sw02169]
 both are not compatible with those of relational databases. On the other hand, production rule ... databases fail to possess the fuzzy reasoning ability. Proposed in this paper is a framework ... uniform way it allows matches including fuzzy linguistic variables as well as fuzzy numbers ... uniform framework to provide the rulebased languages with fuzzy match facilities semantically enhanced...

ANSYS
 Referenced in 665 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

GAP
 Referenced in 2957 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Isabelle
 Referenced in 622 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

LAPACK
 Referenced in 1648 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Macaulay2
 Referenced in 1734 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Maple
 Referenced in 5177 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6075 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12557 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 546 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

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

R
 Referenced in 8776 articles
[sw00771]
 R is a language and environment for statistical...

SageMath
 Referenced in 1741 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

TSPLIB
 Referenced in 674 articles
[sw00983]
 TSPLIB is a library of sample instances for...

APL
 Referenced in 76 articles
[sw01165]
 APL (named after the book A Programming Language...

EnKF
 Referenced in 376 articles
[sw02066]
 EnKFThe Ensemble Kalman Filter The EnKF is...

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

SPLUS
 Referenced in 602 articles
[sw02892]
 SPLUS is a powerful environment for statistical...

ELECTRE
 Referenced in 125 articles
[sw02971]
 Electre Methods. Over the last three decades a...