• 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 IF-THEN rules. The rules are interpreted either as fuzzy relations ... developed in IRAFM. Sets of linguistically interpreted fuzzy IF-THEN 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 Ant-based 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 high-level language and interactive...

• SETHEO

• Referenced in 122 articles [sw00707]
• SETHEO: A high-performance 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, open-source 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 general-purpose 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 business-oriented...