• Matlab

  • Referenced in 11969 articles [sw00558]
  • high-level 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 semi-interactive development of machine-checked...
  • Python

  • Referenced in 1319 articles [sw14460]
  • Python-based 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 Model-Based 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 real-time systems...
  • S-PLUS

  • 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 distributed-memory 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]
  • oriented-enriched 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 multi-platform installation, new tools ... automated installation procedure for unix systems. The environment is fully backward compatible with its predecessor...