• Matlab

  • Referenced in 13544 articles [sw00558]
  • analyze data, develop algorithms, and create models and applications. The language, tools, and built...
  • DLMF

  • Referenced in 2809 articles [sw04968]
  • available now, even though better tools are in active development. For example, LaTeX files...
  • SPIN

  • Referenced in 723 articles [sw03455]
  • verification of distributed software systems. The tool was developed at Bell Labs in the original ... pace with new developments in the field. In April 2002 the tool was awarded...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • years of cutting-edge research and development, Maple helps you analyze, explore, visualize, and solve ... multiple styles of interaction, from Clickable Math™ tools to a sophisticated programming language. Using...
  • Simulink

  • Referenced in 818 articles [sw04348]
  • extensive range of tools that let you develop algorithms, analyze and visualize simulations, create batch...
  • PRISM

  • Referenced in 442 articles [sw01186]
  • this paper we describe PRISM, a tool being developed at the University of Birmingham ... probabilistic temporal logics PCTL and CSL. The tool features three model checking engines: one symbolic...
  • XPRESS

  • Referenced in 230 articles [sw04834]
  • world, with the best tools available to aid the development and deployment of optimization applications ... types of tools: model building and development tools, and solver engines...
  • Kronos

  • Referenced in 273 articles [sw01270]
  • KRONOS is a tool developed with the aim to verify complex real-time systems. Real...
  • FEniCS

  • Referenced in 840 articles [sw04314]
  • collaborative project for the development of innovative concepts and tools for automated scientific computing, with...
  • CUTEr

  • Referenced in 602 articles [sw04010]
  • Fortran 90/95 and Matlab tools intended to help developers design, compare and improve ... these files may be manipulated to provide tools suitable for testing optimization packages. Ready...
  • CUDA

  • Referenced in 1325 articles [sw03258]
  • comprehensive development environment for C and C++ developers building GPU-accelerated applications. The CUDA Toolkit ... compiler for NVIDIA GPUs, math libraries, and tools for debugging and optimizing the performance...
  • Nek5000

  • Referenced in 142 articles [sw08064]
  • advanced linear stability tools developed for the spectral-element code Nek5000 to investigate the dynamics...
  • Trilinos

  • Referenced in 409 articles [sw04028]
  • requirements, its own development team and group of users. Because of this, Trilinos itself ... offers a set of tools that can assist package developers with builds across multiple platforms...
  • Xilinx

  • Referenced in 95 articles [sw07491]
  • Xilinx system generator and Xilinx Tool Kit. Programmable devices are at the heart of most ... processing systems and beyond. Xilinx offers development tools that support programmable platforms requiring aggressive pace ... ecosystem of Alliance Members, are providing development tools that are defining the next generation...
  • INTOPT_90

  • Referenced in 306 articles [sw04705]
  • ones that need further development. Algorithmic and practical tools are emphasized, theoretical considerations are sporadically...
  • Uppaal

  • Referenced in 653 articles [sw04702]
  • integrated tool environment for modeling, simulation and verification of real-time systems, developed jointly...
  • Delphi

  • Referenced in 85 articles [sw07642]
  • Borland as a rapid application development tool for Windows as the successor of Turbo Pascal...
  • CUTE

  • Referenced in 232 articles [sw14681]
  • researchers for their development of optimization software. The tools can be obtained by anonymous...
  • rbMIT

  • Referenced in 146 articles [sw00784]
  • both (as Matlab® source) ”Developers” — numerical analysts and computational tool-builders — who wish to further...
  • deal.ii

  • Referenced in 643 articles [sw03516]
  • deal.II is to enable rapid development of modern finite element codes, using among other aspects ... adaptive meshes and a wide array of tools classes often used in finite element program...