• KLMLean

  • Referenced in 5 articles [sw09988]
  • KLMLean 2.0 is inspired by the “leanmethodology, 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 “leanmethodology, 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...