• Matlab

  • Referenced in 11969 articles [sw00558]
  • create models and applications. The language, tools, and built-in math functions enable...
  • Maple

  • Referenced in 5020 articles [sw00545]
  • multiple styles of interaction, from Clickable Math™ tools to a sophisticated programming language. Using...
  • DLMF

  • Referenced in 2196 articles [sw04968]
  • equation search capability. The information technology tools that are being used are, of necessity, ones ... widely available now, even though better tools are in active development. For example, LaTeX files...
  • ABAQUS

  • Referenced in 1447 articles [sw04215]
  • Unified FEA to consolidate their processes and tools, reduce costs and inefficiencies, and gain...
  • LMI toolbox

  • Referenced in 1417 articles [sw06383]
  • techniques have emerged as powerful design tools in areas ranging from control engineering to system...
  • Python

  • Referenced in 1319 articles [sw14460]
  • wide variety of systems. Using third-party tools, such as Py2exe or Pyinstaller, Python code...
  • CUDA

  • Referenced in 1169 articles [sw03258]
  • compiler for NVIDIA GPUs, math libraries, and tools for debugging and optimizing the performance...
  • PETSc

  • Referenced in 1127 articles [sw04012]
  • PETSc is a sophisticated set of software tools; as such, for some users it initially...
  • SPIN

  • Referenced in 708 articles [sw03455]
  • Spin is a popular open-source software tool, used by thousands of people worldwide, that ... formal verification of distributed software systems. The tool was developed at Bell Labs ... field. In April 2002 the tool was awarded the prestigious System Software Award...
  • Regularization tools

  • Referenced in 676 articles [sw00797]
  • Regularization Tools: A MATLAB package for Analysis and Solution of Discrete Ill-Posed Problems. Version...
  • Isabelle/HOL

  • Referenced in 941 articles [sw01569]
  • expressed in a formal language and provides tools for proving those formulas in a logical...
  • CUTEr

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

  • Referenced in 751 articles [sw06848]
  • includes a new set of integrated XML tools, enhanced list functionality, and improved statistical functions...
  • Simulink

  • Referenced in 717 articles [sw04348]
  • immediate access to an extensive range of tools that let you develop algorithms, analyze...
  • ANSYS

  • Referenced in 654 articles [sw00044]
  • technology apart from other CAE tools. These ANSYS Advantages add value to the engineering design...
  • QRM

  • Referenced in 625 articles [sw11358]
  • book Quantitative Risk Management: Concepts, Techniques and Tools by Alexander J. McNeil, Rudiger Frey...
  • Uppaal

  • Referenced in 622 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling, simulation and verification of real-time systems...
  • PVS

  • Referenced in 609 articles [sw03484]
  • specification language integrated with support tools and a theorem prover. It is intended to capture...
  • Isabelle

  • Referenced in 606 articles [sw00454]
  • expressed in a formal language and provides tools for proving those formulas in a logical...
  • S-PLUS

  • Referenced in 588 articles [sw02892]
  • graphical analysis of data. It provides the tools to implement many standard and modern statistical...