
Matlab
 Referenced in 7768 articles
[sw00558]
 MATLAB® is a highlevel language and interactive environment for numerical computation, visualization, and programming...

Mathematica
 Referenced in 4518 articles
[sw00554]
 hedgefund trading website or publishing interactive engineering textbooks, to developing embedded imagerecognition algorithms...

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

Coq
 Referenced in 1297 articles
[sw00161]
 theorems together with an environment for semiinteractive development of machinechecked proofs. Typical applications...

SINGULAR
 Referenced in 1042 articles
[sw00866]
 functionalities. Based on an easytouse interactive shell and a Clike programming language...

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

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

MACSYMA
 Referenced in 683 articles
[sw01209]
 analysis 2D and 3D reportquality graphics interactive scientific notebooks a user programming environment...

Simulink
 Referenced in 547 articles
[sw04348]
 dynamic and embedded systems. It provides an interactive graphical environment and a customizable...

FreeFem++
 Referenced in 533 articles
[sw01436]
 branches of physics such as fluidstructure interactions require interpolations of data on several meshes...

QEPCAD
 Referenced in 243 articles
[sw00752]
 many others. It is an interactive commandline 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...

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

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

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

XFEM
 Referenced in 261 articles
[sw01026]
 extensibility, and robustness. To facilitate mesh  geometry interactions with hundreds of enrichment items, a mesh...

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

OCaml
 Referenced in 244 articles
[sw06363]
 bytecode compiler (ocamlc) and an interactive readevalprint loop (ocaml) for quick development...

ELLPACK
 Referenced in 125 articles
[sw01208]
 Interactive ELLPACK: An interactive problemsolving 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 127 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 highlevel ... allows for fast, flexible and freely programmable interaction scenarios. Although each of the three parts...

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