• Matlab

  • Referenced in 13100 articles [sw00558]
  • programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications...
  • R

  • Referenced in 9188 articles [sw00771]
  • language and environment which was developed at Bell Laboratories (formerly AT&T, now Lucent Technologies...
  • Mathematica

  • Referenced in 6235 articles [sw00554]
  • website or publishing interactive engineering textbooks, to developing embedded image-recognition algorithms or teaching calculus ... much more—it’s the only development platform fully integrating computation into complete workflows, moving...
  • Maple

  • Referenced in 5296 articles [sw00545]
  • years of cutting-edge research and development, Maple helps you analyze, explore, visualize, and solve...
  • Magma

  • Referenced in 3137 articles [sw00540]
  • main features. One of the aims whilst developing Magma is to maintain extensive documentation describing ... Group at the University of Sydney. Its development has benefited enormously from contributions made...
  • DLMF

  • Referenced in 2610 articles [sw04968]
  • even though better tools are in active development. For example, LaTeX files are being used...
  • SageMath

  • Referenced in 1859 articles [sw00825]
  • computation, and related areas. Both the Sage development model and the technology in Sage itself...
  • Coq

  • Referenced in 1856 articles [sw00161]
  • together with an environment for semi-interactive development of machine-checked proofs. Typical applications include...
  • CUDA

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

  • Referenced in 1462 articles [sw04827]
  • Toolbox (final release 1995). The toolbox was developed in conjunction with the book Accuracy...
  • fda (R)

  • Referenced in 1403 articles [sw04511]
  • Functional Data Analysis , These functions were developed to support functional data analysis as described...
  • LIBSVM

  • Referenced in 1155 articles [sw04879]
  • Vector Machines (SVMs). We have been actively developing this package since the year...
  • minpack

  • Referenced in 714 articles [sw05310]
  • issues that are relevant to the development of general optimization software. I have tried ... issues that are particularly relevant to the development of software for optimization libraries ... project and by my experiences in the development of MINPACK-1 [cf. the author...
  • Tabu search

  • Referenced in 1060 articles [sw08556]
  • nonlinear problems. We also identify recent developments and extensions that have contributed to increasing...
  • SPIN

  • Referenced in 721 articles [sw03455]
  • distributed software systems. The tool was developed at Bell Labs in the original Unix group ... evolve to keep pace with new developments in the field. In April 2002 the tool...
  • Z-Tree

  • Referenced in 624 articles [sw11707]
  • widely used software package for developing and carrying out economic experiments. The language used ... compact, meaning that experiments can be developed quickly, and programming experience is not necessary, though ... clock auctions, for example. We began the development of the software in 1998, and have...
  • KernSmooth

  • Referenced in 947 articles [sw04586]
  • main goal of this book is to develop the reader’s intuition and mathematical skills...
  • AUTO

  • Referenced in 922 articles [sw01059]
  • bifurcation problems in ordinary differential equations, originally developed by Eusebius Doedel, with subsequent major contribution...
  • AMPL

  • Referenced in 607 articles [sw04001]
  • optimization problems, in discrete or continuous variables. Developed at Bell Laboratories, AMPL lets ... ideal for rapid prototyping and model development, while its speed and control options make...
  • Chaff

  • Referenced in 579 articles [sw06916]
  • This study has culminated in the development of several SAT packages, both proprietary ... algorithm. In this paper we describe the development of a new complete solver, Chaff, which...