
Matlab
 Referenced in 11784 articles
[sw00558]
 highlevel language and interactive environment for numerical computation, visualization, and programming. Using MATLAB...

R
 Referenced in 7904 articles
[sw00771]
 language and environment for statistical computing and graphics. It is a GNU project which ... similar to the S language and environment which was developed at Bell Laboratories (formerly...

Maple
 Referenced in 4993 articles
[sw00545]
 sophisticated programming language. Using the smart document environment provided by Maple, you can automatically capture...

Magma
 Referenced in 2792 articles
[sw00540]
 algebraic combinatorics. It provides a mathematically rigorous environment for defining and working with structures such...

Coq
 Referenced in 1763 articles
[sw00161]
 executable algorithms and theorems together with an environment for semiinteractive development of machinechecked...

Python
 Referenced in 1251 articles
[sw14460]
 Pythonbased software for use on those environments without requiring the installation of a Python...

CUDA
 Referenced in 1152 articles
[sw03258]
 NVIDIA® CUDA® Toolkit provides a comprehensive development environment for C and C++ developers building...

Simulink
 Referenced in 707 articles
[sw04348]
 Simulink® is an environment for multidomain simulation and ModelBased Design for dynamic and embedded ... systems. It provides an interactive graphical environment and a customizable set of block libraries that ... create batch processing scripts, customize the modeling environment, and define signal, parameter, and test data...

MACSYMA
 Referenced in 714 articles
[sw01209]
 graphics interactive scientific notebooks a user programming environment...

Uppaal
 Referenced in 622 articles
[sw04702]
 Uppaal is an integrated tool environment for modeling, simulation and verification of realtime systems...

SPLUS
 Referenced in 573 articles
[sw02892]
 PLUS is a powerful environment for statistical and graphical analysis of data. It provides...

CUTEr
 Referenced in 555 articles
[sw04010]
 CUTEr is a versatile testing environment for optimization and linear algebra solvers. The package contains...

HOL
 Referenced in 489 articles
[sw05492]
 Higher Order Logic (HOL) is a programming environment in which theorems can be proved...

CRAN
 Referenced in 432 articles
[sw04351]
 freely available language and environment for statistical computing and graphics which provides a wide variety...

ScaLAPACK
 Referenced in 400 articles
[sw00830]
 across a wide range of distributedmemory environments such as the Cray...

Turbo Pascal
 Referenced in 363 articles
[sw16451]
 includes a compiler and an integrated development environment (IDE) for the Pascal programming language running...

COMSOL
 Referenced in 360 articles
[sw04091]
 COMSOL Multiphysics engineering simulation software environment facilitates all steps in the modeling process − defining your...

XFEM
 Referenced in 358 articles
[sw01026]
 orientedenriched finite element code. The programming environment provides a robust tool for extended finite...

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

SifDec
 Referenced in 199 articles
[sw04087]
 SifDec: a constrained and unconstrained testing environment, revisited. The initial release of CUTE, a widely ... used testing environment for optimization software, was described by {it I. Bongartz}, et al. [ibid ... presented. Features include reorganisation of the environment to allow simultaneous multiplatform installation, new tools ... automated installation procedure for unix systems. The environment is fully backward compatible with its predecessor...