• 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 low-level loop code. The ”Rcpp-sugar” vignette...
  • tn

  • Referenced in 129 articles [sw05140]
  • minimization problems. It is shown how the equivalent Lanczos characterization of the linear conjugate-gradient...
  • 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 alpha-equivalence 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...
  • KEM-DEM

  • Referenced in 58 articles [sw03093]
  • main result, this paper also shows several equivalence results: UC KEM, IND-CCA2 ... CCA2 (non-malleable 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 object-level syntax. This is established via a novel denotational semantics. FreshML ... dealing with object-level syntax modulo a-equivalence...
  • 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]
  • Golub-Kahan 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]
  • pseudo-hoops. Bounded Wajsberg pseudo-hoops are equivalent to pseudo-Wajsberg algebras and bounded basic ... pseudo-hoops are equivalent to pseudo-BL algebras. Some examples of pseudo-hoops 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]
  • logic-independent notions of well-formedness 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...