• SCS

  • Referenced in 53 articles [sw16632]
  • solve the homogeneous self-dual embedding, an equivalent feasibility problem involving finding a nonzero point...
  • ConGolog

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

  • Referenced in 49 articles [sw07136]
  • logic-independent notions of well-formedness and equivalence of modular mathematical theories. Thus, it provides...
  • BEAM189

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

  • Referenced in 47 articles [sw06615]
  • procedure is first employed to develop an equivalent reformulation in terms of unary and binary...
  • MiniML

  • Referenced in 47 articles [sw29625]
  • thus proving that binding-time correctness is equivalent to modal correctness on this fragment...
  • Hopscotch

  • Referenced in 44 articles [sw00413]
  • problems is reformulated and shown to be equivalent to a Peaceman-Rachford process. A fast...
  • KLEE

  • Referenced in 44 articles [sw04894]
  • When we did the same for 75 equivalent tools in the BUSYBOX embedded system suite...
  • Miniball

  • Referenced in 43 articles [sw05179]
  • fixed point on the boundary is equivalent to the problem of finding the minimum-norm...
  • ProVerif

  • Referenced in 43 articles [sw06558]
  • value of the secret changes, Oakland’04), equivalences between processes that differ only by terms...
  • Chebfun2

  • Referenced in 41 articles [sw12708]
  • iterative algorithm that is, in a sense, equivalent to the Gaussian elimination with full pivoting...
  • BinaryTrees

  • Referenced in 22 articles [sw14282]
  • mechanism, we study the analogue of Wilf equivalence in which two tree patterns are equivalent ... avoid them are equinumerous. We investigate the equivalence classes combinatorially. Toward establishing bijective proofs ... tree pattern equivalence, we develop a general method of restructuring trees that conjecturally succeeds ... explicit bijection for each pair of equivalent tree patterns...
  • HElib

  • Referenced in 40 articles [sw09518]
  • optimizations. The underlying cryptosystem serves as the equivalent of a “hardware platform” for HElib...
  • SQEMA

  • Referenced in 39 articles [sw03056]
  • algorithm SQEMA for computing first-order equivalents and proving canonicity of modal formulae, and thus...
  • ProbView

  • Referenced in 27 articles [sw09438]
  • algebra. (3) We establish various containments and equivalences between algebraic expressions, similar in spirit ... rewriting certain types of queries to other equivalent forms often yields substantial savings...
  • CoCasl

  • Referenced in 26 articles [sw13076]
  • constructs of CoCasl cover the various process equivalences (bisimulation, weak bisimulation, observational congruence, and trace ... equivalence) and provide fully abstract semantic domains. CoCasl hence becomes a meta-framework for studying...
  • TenEig

  • Referenced in 25 articles [sw14671]
  • upper bound for the number of equivalence classes of generalized tensor eigenpairs using mixed volume ... proper implementation, these methods can find all equivalence classes of isolated generalized eigenpairs and some...
  • LMIRank

  • Referenced in 35 articles [sw04823]
  • that are easily seen to be equivalent to rank one constrained LMI problems...
  • MWB

  • Referenced in 34 articles [sw04395]
  • checking open bisimulation equivalences. We illustrate the MWB with an example automated analysis...
  • Peano

  • Referenced in 34 articles [sw08712]
  • Cartesian grids. Consequently, any spacetree traversal is equivalent to an element-wise traversal...