-
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 lean-methodology. CSL-lean also contains a graphical interface...
-
LAMG
- Referenced in 34 articles
[sw06551]
- traditional multigrid applications. LAMG combines a lean piecewise-constant 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...
-
Z-Tree
- Referenced in 659 articles
[sw11707]
- Z-Tree: Zurich Toolbox for ready-made economic...
-
PartiSim
- Referenced in 10 articles
[sw17034]
- PartiSim: a multi-methodology framework to support facilitated...