
STG
 Referenced in 21 articles
[sw07274]
 tool we have developed that automates the derivation of tests from specifications. The tool implements...

Fiat
 Referenced in 14 articles
[sw21357]
 refined into efficient implementations via automated tactics. Each derivation in Fiat produces a formal proof...

Pymanopt
 Referenced in 13 articles
[sw17844]
 differential geometry and the laborious calculation of derivatives pose a significant barrier for experimenting with ... users further by using automated differentiation for calculating derivative information, saving users time and saving...

CIRC
 Referenced in 40 articles
[sw06202]
 Circ is an automated behavioral prover based on the circularity principle. The circularity principle generalizes ... form fr(e) and a set of derived equations, its derivatives, Der(e). The circularity...

CLawDDEs
 Referenced in 2 articles
[sw06182]
 Maple package CLawDDEs: Computer automated derivation of conservation laws for nonlinear differentialdifference equations...

CONTRAfold
 Referenced in 8 articles
[sw17117]
 parameters, SCFGs use fullyautomated statistical learning algorithms to derive model parameters. Despite this advantage...

ADVI
 Referenced in 19 articles
[sw34040]
 Deriving variational inference algorithms requires tedious modelspecific calculations; this makes it difficult to automate...

AceGen
 Referenced in 32 articles
[sw10821]
 package AceGen is used for the automatic derivation of formulae needed in numerical procedures ... include examples and libraries needed for the automation of the Finite Element Method...

ODEXPERT
 Referenced in 9 articles
[sw13889]
 capable of deriving some knowledge about the input problem by performing automated tests to detect...

ADHO
 Referenced in 1 article
[sw06741]
 nonlinear problems, a Maple package of automated derivation (ADHO) for periodic nonlinear oscillation systems...

GRESS
 Referenced in 12 articles
[sw00385]
 using computer calculus. The procedure employs an automated system called GRESS, which utilizes a precompiler ... enhance a Fortran computer code by adding derivativetaking capabilities. From a single ... computes a normalized sensitivity by multiplying a derivative by its associated input parameter value ... enhanced code. Benchmark results demonstrate that an automated procedure can be used cheaply and efficiently...

HipSpec
 Referenced in 12 articles
[sw07736]
 Automating inductive proofs using theory exploration HipSpec is a system for automatically deriving and proving...

Jakarta
 Referenced in 18 articles
[sw01269]
 specifications into proof assistants; the JaKarTa Automation Kit (JAK), a toolset to support reasoning about ... assistants. Goal of the work is to derive certified Byte Code Verifiers by abstraction from...

SPIRAL
 Referenced in 46 articles
[sw00903]
 system (www.spiral.net) is a tool for automatically deriving, implementing and optimizing Digital Signal Processing ... implementations. This talk provides an overview of automated generation of DSP algorithms using the SPIRAL...

LogAnswer
 Referenced in 3 articles
[sw21369]
 domain question answering system which employs an automated theorem prover to infer correct replies ... knowledge, which play a vital role in deriving answers. We present the functional LogAnswer ... prototype, which consists of automated theorem provers for logical answer derivation as well...

DODGSON
 Referenced in 13 articles
[sw12653]
 through the looking glass. Using a recurrence derived from Dogson’s condensation method, we provide ... methods, that should be amenable to full automation. We also mention a first step towards...

Grace
 Referenced in 3 articles
[sw08485]
 sophisticated calculations or perform automated tasks. Grace is derived from Xmgr (a.k.a. ACE/gr), originally written...

DrIFT
 Referenced in 1 article
[sw13665]
 rules as required. DrIFT automates instance derivation for classes that aren’t supported...

EzyPred
 Referenced in 16 articles
[sw26858]
 highly desired to develop an automated method by which one can get a fast ... EzyPred, is developed by fusing the results derived from the functional domain and evolution information...