• Matlab

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

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

  • Referenced in 2808 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...
  • Python

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

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

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

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

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

  • Referenced in 723 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 744 articles [sw00797]
  • Regularization Tools: A MATLAB package for Analysis and Solution of Discrete Ill-Posed Problems. Version...
  • Isabelle/HOL

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

  • Referenced in 602 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...
  • Simulink

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

  • Referenced in 806 articles [sw04314]
  • development of innovative concepts and tools for automated scientific computing, with a particular focus...
  • Excel

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

  • Referenced in 720 articles [sw00366]
  • fast, light and user-friendly meshing tool with parametric input and advanced visualization capabilities. Gmsh...
  • QRM

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

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

  • Referenced in 698 articles [sw00454]
  • expressed in a formal language and provides tools for proving those formulas in a logical...
  • Uppaal

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