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