• Cinderella

  • Referenced in 131 articles [sw00127]
  • Interactive Geometry Software. Besides support for dynamic geometry, Cinderella.2 has many features that broaden ... program to a wide variety of interaction scenarios. Compared to the old version ... were added: CindyLab, an environment for doing interactive physical experiments, and CindyScript, a high-level ... allows for fast, flexible and freely programmable interaction scenarios. Although each of the three parts...
  • IFISS

  • Referenced in 165 articles [sw04398]
  • graphical Matlab package for the interactive numerical study of incompressible flow problems. It includes algorithms ... iterative solution algorithms as well as the interaction between the two and the resulting effect...
  • ETPS

  • Referenced in 143 articles [sw06302]
  • contains only commands relevant to proving theorems interactively. TPS and ETPS run in Common Lisp ... theorems of first- and higher-order logic interactively, automatically, or in a mixture of these ... modes (groups of flag settings). The interactive facilities of TPS for constructing natural deduction proofs...
  • Geometer's Sketchpad

  • Referenced in 216 articles [sw04858]
  • understanding. Sketchpad is the optimal tool for interactive whiteboards. Teachers can use it daily...
  • Isar

  • Referenced in 118 articles [sw04599]
  • Theorem proving system supporting both interactive proof development and some degree of automation have become ... proof given by state-of-the-art interactive theorem proving systems and an appropriate level ... broad range of automated proof methods. Interactive proof development is supported directly as well ... General, a generic (X)Emacs interface for interactive proof assistants, we arrive at a reasonable...
  • Schwarz-Christoffel

  • Referenced in 193 articles [sw00833]
  • script language, exploits the high-level functions, interactive environment, visualization tools, and graphical user interface...
  • Agda

  • Referenced in 138 articles [sw09689]
  • modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist ... also a proof assistant: It is an interactive system for writing and checking proofs. Agda...
  • ABC

  • Referenced in 173 articles [sw10950]
  • research branch that models the population of interacting agents or swarms that are able...
  • SC Toolbox

  • Referenced in 164 articles [sw04462]
  • first released in 1994, made possible the interactive creation and visualization of conformal maps...
  • GLIM

  • Referenced in 162 articles [sw01126]
  • GLIM - a system for interactive fitting of generalized linear models...
  • KEGG

  • Referenced in 153 articles [sw13866]
  • knowledge on molecular wiring diagrams of interaction, reaction and relation networks (systems information). It also...
  • LOTOS

  • Referenced in 145 articles [sw02961]
  • seen as a set of processes which interact and exchange data with each other...
  • CESAR

  • Referenced in 139 articles [sw08510]
  • protocol, the use of CESAR, an interactive system for aiding the design of distributed applications...
  • GrabCut

  • Referenced in 85 articles [sw15842]
  • GrabCut: interactive foreground extraction using iterated graph cuts. The problem of efficient, interactive foreground/background segmentation ... used to simplify substantially the user interaction needed for a given quality of result. Thirdly...
  • M-MACBETH

  • Referenced in 85 articles [sw16199]
  • problems involving qualitative value scores and weights; Interactive sensitivity and robustness analyses. MACBETH (Measuring Attractiveness ... Categorical Based Evaluation Technique) is an interactive approach that requires only qualitative judgements about differences ... attractiveness of options. It employs an initial, interactive, questioning procedure that compares two elements...
  • NTRU

  • Referenced in 135 articles [sw11761]
  • NTRU cryptosystem comes from the interaction of the polynomial mixing system with the independence...
  • LiE

  • Referenced in 134 articles [sw01075]
  • provided containing many examples. LiE establishes an interactive environment from which commands can be given...
  • FEAP

  • Referenced in 134 articles [sw04963]
  • multiple rigid body options with joint interactions. Constitutive models include linear and finite elasticity, viscoelasticity...
  • Bandera

  • Referenced in 131 articles [sw07663]
  • main components of Bandera and how to interact the tool set using its graphical user...
  • veriSoft

  • Referenced in 90 articles [sw01489]
  • controlling, and observing the possible executions and interactions of all its components. It integrates automatic ... single framework. VeriSoft includes an interactive graphical simulator that can drive existing debuggers for examining...