• VeriFast

  • Referenced in 56 articles [sw07705]
  • ghost statements. Lemma functions enable inductive proofs of memory representation equivalences and facts about...
  • Rcpp

  • Referenced in 178 articles [sw08385]
  • called Rcpp sugar that brings many R functions into C++. Sugar takes advantage of lazy ... much nicer to use than the equivalent low-level loop code. The ”Rcpp-sugar” vignette ... high-level syntax for declaring C++ functions as callable from R and automatically generating...
  • kappalab

  • Referenced in 42 articles [sw06086]
  • routines for handling various types of set functions such as games or capacities ... transform, as well as other equivalent representations of set functions can also be computed. Kappalab...
  • Piccolo

  • Referenced in 47 articles [sw13242]
  • only 60 additional gate equivalents to support the decryption function due to its involution structure...
  • Algorithm 919

  • Referenced in 43 articles [sw07350]
  • Krylov Subspace Algorithm for Evaluating the ϕ-Functions Appearing in Exponential Integrators. We develop ... This is equivalent to computing the action of a certain matrix function on the vector...
  • libMC

  • Referenced in 42 articles [sw06615]
  • given factorable function, a recursive procedure is first employed to develop an equivalent reformulation ... libMC. Moreover, subgradients for multi-variable functions are calculated along various seed directions in libMC...
  • Gringo

  • Referenced in 94 articles [sw04630]
  • translating logic programs provided by users into equivalent propositional logic programs. The answer sets ... solver. The third tool, clingo, integrates the functionalities of gringo and clasp, thus, acting...
  • MiniML

  • Referenced in 45 articles [sw29625]
  • functional language Mini-ML□, thus proving that binding-time correctness is equivalent to modal correctness...
  • pcalg

  • Referenced in 78 articles [sw06072]
  • Graph (DAG) via the PC-Algorithm. The equivalence class is represented by its (unique) Completete ... RFCI are available for estimating PAGs. Functions for causal inference using the IDA algorithm (based...
  • ROBDD

  • Referenced in 4 articles [sw21204]
  • using rules that detect when equivalent functions are computed. The usefulness of the package...
  • FELIX

  • Referenced in 2 articles [sw28618]
  • FELIX: using rewriting-logic for generating functionally equivalent implementations. FELIX is a new design space ... automated generation of alternative functionally equivalent implementations from a single mathematical specification. The user selection...
  • TASS_

  • Referenced in 3 articles [sw04889]
  • establish that two programs are functionally equivalent. This is particularly useful in scientific computing, where...
  • Adept

  • Referenced in 3 articles [sw19696]
  • faster than other libraries that provide equivalent functionality (ADOL-C, CppAD and Sacado) and less...
  • Chebfun2

  • Referenced in 30 articles [sw12708]
  • univariate functions which in turn are represented as Chebfun objects. The so-called low rank ... iterative algorithm that is, in a sense, equivalent to the Gaussian elimination with full pivoting ... practical fact: an important number of functions of two variables is of low rank...
  • UnQL

  • Referenced in 9 articles [sw20018]
  • introduced as a top-down, recursive function, similar to the way XSL is defined ... defined in two equivalent ways: as a recursive function which evaluates the data top-down...
  • DREAM

  • Referenced in 2 articles [sw07062]
  • results using it, compared with nonconfigurable, functionally equivalent middleware...
  • CIVL

  • Referenced in 2 articles [sw34345]
  • also check that two programs are functionally equivalent...
  • QuantumMACMAHON

  • Referenced in 19 articles [sw11441]
  • function obtained from a square matrix A and the determinant of I-A. An equivalent ... this paper relates a certain generating function obtained from a right-quantum matrix...
  • AARON

  • Referenced in 24 articles [sw11565]
  • line notation, i.e. permutations qua 1-1 functions from ... other hand, Pattern-avoidance (and Wilf- equivalence) are inherently ”wordy”, i.e. pertain to permutations...
  • ACE

  • Referenced in 8 articles [sw22675]
  • initial functional program. This function is transformed into its nonrecursive equivalent according to MacCarthy...