• Matlab

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

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

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

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

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

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

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

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

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

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

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

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

  • Referenced in 455 articles [sw00551]
  • this toolbox was to provide an interactive environment for the continuation and normal form analysis...
  • QEPCAD

  • Referenced in 285 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...
  • HOL Light

  • Referenced in 310 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...
  • Trilinos

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

  • Referenced in 400 articles [sw06590]
  • variety of hardcopy formats and interactive environments across platforms. matplotlib can be used in python...
  • XFEM

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

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

  • Referenced in 258 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...