• Matlab

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

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

  • Referenced in 2020 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 1421 articles [sw04215]
  • Unified FEA to consolidate their processes and tools, reduce costs and inefficiencies, and gain...
  • LMI toolbox

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

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

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

  • Referenced in 699 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...
  • PETSc

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

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

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

  • Referenced in 546 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 737 articles [sw06848]
  • includes a new set of integrated XML tools, enhanced list functionality, and improved statistical functions...
  • Simulink

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

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

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

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

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

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

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