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

R
 Referenced in 8180 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 5020 articles
[sw00545]
 sophisticated programming language. Using the smart document environment provided by Maple, you can automatically capture...

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

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

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

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

Simulink
 Referenced in 717 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 716 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 588 articles
[sw02892]
 PLUS is a powerful environment for statistical and graphical analysis of data. It provides...

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

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

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

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

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

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

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

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

SifDec
 Referenced in 200 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...