• Maple

  • Referenced in 5040 articles [sw00545]
  • multiple styles of interaction, from Clickable Math™ tools to a sophisticated programming language. Using ... document environment provided by Maple, you can automatically capture all of your technical knowledge...
  • HyTech

  • Referenced in 324 articles [sw04125]
  • HyTech is an automatic tool for the analysis of embedded systems. HyTech computes the condition...
  • ADIFOR

  • Referenced in 243 articles [sw02185]
  • ADIFOR is a tool for the automatic differentiation of Fortran 77 programs. Given a Fortran...
  • HOL

  • Referenced in 502 articles [sw05492]
  • proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple...
  • Python

  • Referenced in 1378 articles [sw14460]
  • features a dynamic type system and automatic memory management and has a large and comprehensive ... wide variety of systems. Using third-party tools, such as Py2exe or Pyinstaller, Python code...
  • Tyrolean

  • Referenced in 89 articles [sw07830]
  • Termination Tool 2 (TTT2) is a tool for automatically proving (and disproving) termination of term...
  • Chebfun

  • Referenced in 327 articles [sw05897]
  • combines tools of Chebyshev expansions, fast Fourier transform, barycentric interpolation, recursive zerofinding, and automatic differentiation...
  • CeTA

  • Referenced in 46 articles [sw06584]
  • proofs using CeTA. There are many automatic tools to prove termination of term rewrite systems ... nowadays. Most of these tools use a combination of many complex termination criteria. Hence generated ... theorem prover Isabelle/HOL to automatically certify termination proofs. To this end, we first formalized...
  • ADIC

  • Referenced in 81 articles [sw03392]
  • Resource Center. ADIC is a tool for the automatic differentiation (AD) of programs written...
  • TREX

  • Referenced in 46 articles [sw01388]
  • TREX is a tool for automatic analysis of automata-based models equipped with variables belonging...
  • SPIRAL

  • Referenced in 46 articles [sw00903]
  • SPIRAL system (www.spiral.net) is a tool for automatically deriving, implementing and optimizing Digital Signal Processing...
  • Valgrind

  • Referenced in 56 articles [sw04420]
  • analysis tools. There are Valgrind tools that can automatically detect many memory management and threading ... also use Valgrind to build new tools. The Valgrind distribution currently includes six production-quality...
  • ADOL-C

  • Referenced in 233 articles [sw00019]
  • present two strategies for the implementation of Automatic Differentiation (AD) based on the operator overloading ... describe the capabilities of the AD-tool ADOL-C that applies operator overloading to differentiate...
  • Sledgehammer

  • Referenced in 119 articles [sw07047]
  • Sledgehammer is a tool that harnesses external first-order automatic theorem provers (ATPs) to discharge...
  • CUTE

  • Referenced in 214 articles [sw14681]
  • their development of optimization software. The tools can be obtained by anonymous ftp from ... many cases, be installed automatically. The scope of a major collection of test problems written ... with the SIF in mind, we provide tools to assist in building an interface between...
  • OpenAD/F

  • Referenced in 21 articles [sw09380]
  • OpenAD/F: A modular open-source tool for automatic differentiation of Fortran codes. The Open/ADF tool ... follows the basic principles of automatic differentiation, the tool implements new algorithmic approaches at various ... call graph reversal. Unlike most other automatic differentiation tools, Open/ADF uses components provided...
  • DART

  • Referenced in 69 articles [sw07260]
  • testing. We present a new tool, named DART, for automatically testing software that combines three...
  • PcGets

  • Referenced in 42 articles [sw01937]
  • proposed an automatic predictive modeling tool called relevant transformation of the inputs network approach (RETINA ... RETINA with PcGets, a well-known automatic modeling method proposed by D. Hendry. We point ... modern applied econometric automated modeling tool chest...
  • PLT Redex

  • Referenced in 23 articles [sw09921]
  • Software engineers have long known that automatic tool support is critical for rapid prototyping...
  • DAISY

  • Referenced in 44 articles [sw09059]
  • software tools have been proposed for automatically checking identifiability of nonlinear models. In this paper ... describe a software tool implementing a differential algebra algorithm to perform parameter identifiability analysis ... provide the biological investigator a completely automatized software, requiring minimum prior knowledge of mathematical modelling ... depth understanding of the mathematical tools. The DAISY (Differential Algebra for Identifiability of SYstems) software...