
KLMLean
 Referenced in 5 articles
[sw09988]
 KLMLean 2.0 is inspired by the “lean” methodology, it is implemented in SICStus Prolog...

CSLLean
 Referenced in 4 articles
[sw09984]
 Prolog program is inspired by the leanmethodology. CSLlean also contains a graphical interface...

LAMG
 Referenced in 34 articles
[sw06551]
 traditional multigrid applications. LAMG combines a lean piecewiseconstant interpolation, judicious node aggregation based ... faster than LAMG on average. Our methodology is extensible to eigenproblems and other graph computations...

PreDeLo
 Referenced in 3 articles
[sw13719]
 Prolog implementation is inspired by the “lean” methodology, whose basic idea is that each axiom...

VINTE
 Referenced in 1 article
[sw22814]
 𝔸. VINTE is inspired by the methodology of lean...

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

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

UMFPACK
 Referenced in 421 articles
[sw00989]
 An ANSI C code for sparse LU factorization...

MINITAB
 Referenced in 210 articles
[sw02865]
 Analyze your data and improve your products and...

Mosek
 Referenced in 509 articles
[sw04618]
 MOSEK is a tool for solving mathematical optimization...

MADM
 Referenced in 134 articles
[sw06484]
 Decision Making in Manufacturing Environment Using Graph Theory...

Excel
 Referenced in 786 articles
[sw06848]
 Microsoft Excel is a powerful spreadsheet application that...

EGO
 Referenced in 412 articles
[sw07588]
 The Efficient Global Optimization (EGO) algorithm solves costly...

EQS
 Referenced in 140 articles
[sw07678]
 EQS  Structural Equation Modeling Software ...

Agda
 Referenced in 207 articles
[sw09689]
 Agda is a dependently typed functional programming language...

leanTAP
 Referenced in 41 articles
[sw09985]
 leanTAP revisited. The Prolog program leanTAP is a...

CondLean
 Referenced in 9 articles
[sw09986]
 CondLean 3.0: Improving CondLean for stronger conditional logics...

ZTree
 Referenced in 659 articles
[sw11707]
 ZTree: Zurich Toolbox for readymade economic...

PartiSim
 Referenced in 10 articles
[sw17034]
 PartiSim: a multimethodology framework to support facilitated...