
Rcpp
 Referenced in 217 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 57 articles
[sw07705]
 ghost statements. Lemma functions enable inductive proofs of memory representation equivalences and facts about...

kappalab
 Referenced in 50 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 48 articles
[sw13242]
 only 60 additional gate equivalents to support the decryption function due to its involution structure...

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

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

libMC
 Referenced in 44 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 98 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 47 articles
[sw29625]
 functional language MiniML□, thus proving that bindingtime correctness is equivalent to modal correctness...

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

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

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

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

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

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

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