• 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 differential-difference equations...
  • CONTRAfold

  • Referenced in 8 articles [sw17117]
  • parameters, SCFGs use fully-automated statistical learning algorithms to derive model parameters. Despite this advantage...
  • ADVI

  • Referenced in 19 articles [sw34040]
  • Deriving variational inference algorithms requires tedious model-specific 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 derivative-taking 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...