
LSQR
 Referenced in 354 articles
[sw00530]
 Golub and Kahan. It is analytically equivalent to the standard method of conjugate gradients...

Rcpp
 Referenced in 188 articles
[sw08385]
 much nicer to use than the equivalent lowlevel loop code. The ”Rcppsugar” vignette...

tn
 Referenced in 129 articles
[sw05140]
 minimization problems. It is shown how the equivalent Lanczos characterization of the linear conjugategradient...

pcalg
 Referenced in 80 articles
[sw06072]
 algorithm , Standard and robust estimation of the equivalence class of a Directed Acyclic Graph ... Algorithm. The equivalence class is represented by its (unique) Completete Partially Directed Acyclic Graph (CPDAG...

Nominal Isabelle
 Referenced in 68 articles
[sw12055]
 General bindings and alphaequivalence in Nominal Isabelle. Nominal Isabelle is a definitional extension ... extension includes new definitions of αequivalence and establishes automatically the reasoning infrastructure...

Gringo
 Referenced in 94 articles
[sw04630]
 translating logic programs provided by users into equivalent propositional logic programs. The answer sets...

KEMDEM
 Referenced in 58 articles
[sw03093]
 main result, this paper also shows several equivalence results: UC KEM, INDCCA2 ... CCA2 (nonmalleable against CCA2) KEM are equivalent ... equivalent...

Cmodels
 Referenced in 66 articles
[sw04435]
 called tight, the answer set semantics is equivalent to the completion semantics, so that ... loop formulas of the program are equivalent to the answer sets of th! e program...

Anderson
 Referenced in 66 articles
[sw15192]
 problems, Anderson acceleration without truncation is “essentially equivalent” in a certain sense to the generalized ... Fang–Saad Anderson family is similarly essentially equivalent to the Arnoldi (full orthogonalization) method...

Freshml
 Referenced in 49 articles
[sw08992]
 values of datatypes involving binders are operationally equivalent if and only if they represent ... equivalent pieces of objectlevel syntax. This is established via a novel denotational semantics. FreshML ... dealing with objectlevel syntax modulo aequivalence...

Reduze
 Referenced in 72 articles
[sw10354]
 based algorithms allow for the identification of equivalent topologies and integrals. Reduze uses GiNaC...

Piccolo
 Referenced in 47 articles
[sw13242]
 mode are only 683 and 758 gate equivalents, respectively. Moreover, Piccolo requires only 60 additional ... gate equivalents to support the decryption function due to its involution structure. Furthermore, its efficiency...

HandTill2001
 Referenced in 64 articles
[sw11200]
 area under the ROC curve, or the equivalent Gini index, is a widely used measure...

LSMR
 Referenced in 62 articles
[sw12940]
 GolubKahan bidiagonalization process. It is analytically equivalent to the MINRES method applied...

SimpleMKL
 Referenced in 61 articles
[sw12290]
 showing that the two approaches are equivalent. We show how SimpleMKL can be applied beyond...

VeriFast
 Referenced in 56 articles
[sw07705]
 functions enable inductive proofs of memory representation equivalences and facts about the primitive recursive functions...

Pseudo Hoops
 Referenced in 35 articles
[sw29253]
 pseudohoops. Bounded Wajsberg pseudohoops are equivalent to pseudoWajsberg algebras and bounded basic ... pseudohoops are equivalent to pseudoBL algebras. Some examples of pseudohoops are given...

ConGolog
 Referenced in 48 articles
[sw01801]
 instance, that the proposed semantics is equivalent to that given earlier for the portion...

MMT
 Referenced in 47 articles
[sw07136]
 logicindependent notions of wellformedness and equivalence of modular mathematical theories. Thus, it provides...

BEAM189
 Referenced in 46 articles
[sw07447]
 ANSYS nonlinear program. The pressure effect is equivalent included in our method by modifying beam...