
Rcpp
 Referenced in 288 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...

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

kappalab
 Referenced in 54 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...

Algorithm 919
 Referenced in 71 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...

Piccolo
 Referenced in 52 articles
[sw13242]
 only 60 additional gate equivalents to support the decryption function due to its involution structure...

Algorithm 489
 Referenced in 11 articles
[sw36274]
 While SELECT is thus functionally equivalent to Hoare’s algorithm FIND [1], it is significantly...

Adept
 Referenced in 8 articles
[sw19696]
 faster than other libraries that provide equivalent functionality (ADOLC, CppAD and Sacado) and less...

Gringo
 Referenced in 109 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...

libMC
 Referenced in 47 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...

MiniML
 Referenced in 47 articles
[sw29625]
 functional language MiniML□, thus proving that bindingtime correctness is equivalent to modal correctness...

pcalg
 Referenced in 92 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...

Chebfun2
 Referenced in 41 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...

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...

UnQL
 Referenced in 10 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...

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

AARON
 Referenced in 27 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...

QuantumMACMAHON
 Referenced in 21 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...

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...