• Matlab

  • Referenced in 7981 articles [sw00558]
  • MATLAB® is a high-level language and interactive environment for numerical computation, visualization, and programming...
  • Mathematica

  • Referenced in 4657 articles [sw00554]
  • hedge-fund trading website or publishing interactive engineering textbooks, to developing embedded image-recognition algorithms...
  • Maple

  • Referenced in 4185 articles [sw00545]
  • intuitive interface supports multiple styles of interaction, from Clickable Math™ tools to a sophisticated programming...
  • Coq

  • Referenced in 1342 articles [sw00161]
  • theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications...
  • DLMF

  • Referenced in 1103 articles [sw04968]
  • features of the Web site include 3D interactive graphics and an equation search capability...
  • SINGULAR

  • Referenced in 1062 articles [sw00866]
  • functionalities. Based on an easy-to-use interactive shell and a C-like programming language...
  • REDUCE

  • Referenced in 689 articles [sw00789]
  • REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists...
  • MACSYMA

  • Referenced in 685 articles [sw01209]
  • analysis 2D and 3D report-quality graphics interactive scientific notebooks a user programming environment...
  • FreeFem++

  • Referenced in 575 articles [sw01436]
  • branches of physics such as fluid-structure interactions require interpolations of data on several meshes...
  • Simulink

  • Referenced in 558 articles [sw04348]
  • dynamic and embedded systems. It provides an interactive graphical environment and a customizable...
  • QEPCAD

  • Referenced in 248 articles [sw00752]
  • many others. It is an interactive command-line program written in C/C++, and based ... involve changes to the way the program interacted with the user I’d just ... make. However, changes that affected the interaction of QEPCAD and the user, or changes that...
  • Z-Tree

  • Referenced in 366 articles [sw11707]
  • both with respect to the logic of interaction and the visual representation, allowing the simple...
  • HOL Light

  • Referenced in 220 articles [sw06580]
  • Light: an overview. HOL Light is an interactive proof assistant for classical higher-order logic ... both the implementation and interaction language; in HOL Light’s case this is Objective CAML...
  • GeoGebra

  • Referenced in 279 articles [sw04203]
  • many powerful features. Authoring tool to create interactive learning materials as web pages. Available...
  • Gmsh

  • Referenced in 273 articles [sw00366]
  • input to these modules is done either interactively using the graphical user interface...
  • XFEM

  • Referenced in 268 articles [sw01026]
  • extensibility, and robustness. To facilitate mesh -- geometry interactions with hundreds of enrichment items, a mesh...
  • OCaml

  • Referenced in 245 articles [sw06363]
  • bytecode compiler (ocamlc) and an interactive read-eval-print loop (ocaml) for quick development...
  • ELLPACK

  • Referenced in 125 articles [sw01208]
  • Interactive ELLPACK: An interactive problem-solving environment for elliptic partial differential equations ELLPACK ... this process is best suited for an interactive environment, ELLPACK itself is batch oriented. With ... this in mind, we have developed Interactive ELLPACK, an extension of ELLPACK that provides true ... interactive elliptic problem solving by allowing the user to interactively build grids, choose solution methods...
  • 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...
  • Trilinos

  • Referenced in 232 articles [sw04028]
  • ways for a particular package to interact with other Trilinos packages. It also offers...