
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. Builtin 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 thirdparty 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 automatabased 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 productionquality...

ADOLC
 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 ADtool ADOLC that applies operator overloading to differentiate...

Sledgehammer
 Referenced in 119 articles
[sw07047]
 Sledgehammer is a tool that harnesses external firstorder 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 opensource 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 wellknown 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...