
LFLC 2000
 Referenced in 12 articles
[sw08217]
 results obtained in formal theory of fuzzy logic. It makes it possible to deduce conclusions ... situation using fuzzy IFTHEN rules. The rules are interpreted either as fuzzy relations ... developed in IRAFM. Sets of linguistically interpreted fuzzy IFTHEN rules are called linguistic descriptions ... publications are recommended: detailed treatment of fuzzy logic can be found in [1]; the theory...

FLAR
 Referenced in 2 articles
[sw02755]
 ants. Swarm intelligence, as demonstrated by a natural biological swarm, such as an ant colony ... routing algorithm that we are calling Fuzzy Logic Antbased Routing (FLAR), which is inspired...

ANSYS
 Referenced in 704 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 3164 articles
[sw00320]
 GAP is a system for computational discrete algebra...

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

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

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

MapReduce
 Referenced in 263 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

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

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

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

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

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

Scilab
 Referenced in 173 articles
[sw00834]
 Scilab includes hundreds of mathematical functions. It has...

Sostools
 Referenced in 289 articles
[sw00891]
 We are pleased to introduce SOSTOOLS, a free...

TPS
 Referenced in 73 articles
[sw00973]
 TPS and ETPS are, respectively, the Theorem Proving...

ML
 Referenced in 522 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

DYNAMO
 Referenced in 261 articles
[sw01227]
 DYNAMO (DYNAmic MOdels) was a simulation language and...

COBOL
 Referenced in 237 articles
[sw01228]
 COBOL (/ˈkoʊbɒl/, an acronym for common businessoriented...