• Python

• Referenced in 1378 articles [sw14460]
• widely used high-level, general-purpose, interpreted, dynamic programming language. Its design philosophy emphasizes code ... large and comprehensive standard library. Python interpreters are available for installation on many operating systems ... without requiring the installation of a Python interpreter. (wikipedia...

• Macaulay2

• Referenced in 1658 articles [sw00537]
• accessible through a versatile high level interpreted user language with a powerful debugger supporting...

• AdaBoost.MH

• Referenced in 456 articles [sw08517]
• framework. The model we study can be interpreted as a broad, abstract extension...

• INTLAB

• Referenced in 419 articles [sw04004]
• summation, dot product and matrix-vector residuals (interpreted, reference implementation, slow) multiple precision interval arithmetic...

• Adam

• Referenced in 273 articles [sw22205]
• sparse gradients. The hyper-parameters have intuitive interpretations and typically require little tuning. Some connections...

• Isar

• Referenced in 140 articles [sw04599]
• immediately ’executable’, by virtue of the Isar/VM interpreter. Compared to existing declarative theorem proving systems ... tactic scripts. The Isabelle/Isar system provides an interpreter for the Isar formal proof document language ... executed in single-steps, so basically the interpreter has a proof text debugger already built...

• LiE

• Referenced in 150 articles [sw01075]
• functions. These commands are read by an interpreter built into the package and passed ... programs representing some 100 mathematical functions. The interpreter offers on-line facilities which explain operations...

• GOLOG

• Referenced in 170 articles [sw02159]
• logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic...

• Silhouettes

• Referenced in 168 articles [sw03705]
• Silhouettes: a graphical aid to the interpretation and validation of cluster analysis...

• CESAR

• Referenced in 156 articles [sw08510]
• automatic translation of its description program an Interpreted Petri Net representing it and evaluating each...

• CAViaR

• Referenced in 136 articles [sw04424]
• market risk used by financial institutions. Interpreting the VaR as the quantile of future portfolio...

• Bandera

• Referenced in 134 articles [sw07663]
• Both program slicing and user extensible abstract interpretation components are applied to customize the program...

• MIM

• Referenced in 128 articles [sw26139]
• when graphical models are given a causal interpretation. This book will provide a useful introduction...

• Tyrolean

• Referenced in 89 articles [sw07830]
• order, lexicographic path order, loop detection, matrix interpretation, polynomial interpretation, predictive labeling, recursive SCC, root...

• SETHEO

• Referenced in 119 articles [sw00707]
• complete. SETHEO can be used as an interpreter for the programming language LOP (under development...

• ProbLog

• Referenced in 82 articles [sw06945]
• learning from entailment and learning from interpretations setting. ProbLog1 also supports decision-theoretic inference. ProbLog2 ... supports parameter learning in the learning from interpretations setting...

• ASTREE

• Referenced in 111 articles [sw13704]
• ASTREÉ Analyzer. ASTRÉE is an abstract interpretation-based static program analyzer aiming at proving automatically...

• VTK

• Referenced in 103 articles [sw10593]
• class library and several interpreted interface layers including Tcl/Tk, Java, and Python. Kitware, whose team...

• SCALCG

• Referenced in 100 articles [sw08453]
• algorithm and its implementation, based on an interpretation of the secant equation...

• Apron

• Referenced in 67 articles [sw00045]
• numerical variables of programs by abstract interpretation. Its goal is threefold: provide analysis implementers with ... demonstration tools to disseminate knowledge on abstract interpretation...