
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 lowlevel loop code. The ”Rcppsugar” vignette ... highlevel 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 multivariable 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 MiniML□, thus proving that bindingtime correctness is equivalent to modal correctness...

pcalg
 Referenced in 78 articles
[sw06072]
 Graph (DAG) via the PCAlgorithm. 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 rewritinglogic 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 (ADOLC, CppAD and Sacado) and less...

Chebfun2
 Referenced in 30 articles
[sw12708]
 univariate functions which in turn are represented as Chebfun objects. The socalled 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 topdown, recursive function, similar to the way XSL is defined ... defined in two equivalent ways: as a recursive function which evaluates the data topdown...

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 IA. An equivalent ... this paper relates a certain generating function obtained from a rightquantum matrix...

AARON
 Referenced in 24 articles
[sw11565]
 line notation, i.e. permutations qua 11 functions from ... other hand, Patternavoidance (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...