
LMS evaluation
 Referenced in 3 articles
[sw13017]
 management systems using an artificial intelligence fuzzy logic algorithm There are many open source ... time. The developed system is basically a webbased decision support system used to evaluate ... derived from artificial intelligent concepts with fuzzy logic values. The paper describes the development...

FuzzyCLIPS
 Referenced in 6 articles
[sw07001]
 FuzzyCLIPS is a fuzzy logic extension of the CLIPS (C Language Integrated Production System) expert ... years. It enhances CLIPS by providing a fuzzy reasoning capability that is fully integrated with ... manipulate fuzzy facts and rules. FuzzyCLIPS can deal with exact, fuzzy (or inexact), and combined ... reasoning, allowing fuzzy and normal terms to be freely mixed in the rules and facts...

FIPS
 Referenced in 1 article
[sw00292]
 process control problems. FIPS denotes a Fuzzy Instrumented Process Control System geared to the special ... four modules: a basic module, a modelbuilding module, a logic module and a simulation...

Epsilon
 Referenced in 44 articles
[sw00244]
 Epsilon is a library of functions implemented in...

Galileo
 Referenced in 13 articles
[sw00316]
 Galileo: A tool for dynamic fault tree analysis...

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

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

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

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

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

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

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

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

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

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

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

Smalltalk
 Referenced in 190 articles
[sw01561]
 Smalltalk is an objectoriented, dynamically typed, reflective...

CASL
 Referenced in 174 articles
[sw02235]
 The specification language developed by CoFI is called...