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

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

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

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

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

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

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

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

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

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

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

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

QEPCAD
 Referenced in 283 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...

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

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

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

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

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

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

IFISS
 Referenced in 253 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...