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

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

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

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

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

Simulink
 Referenced in 766 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...

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

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

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

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

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

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

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

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

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

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

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

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

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