• Eff

  • Referenced in 21 articles [sw22721]
  • functional programming language based on algebraic effects and their handlers. Algebraic effects ... subsumed by the monadic approach to computational effects, but they offer new ways of programming ... easily achieved with monads. In particular, algebraic effects are combined seamlessly, whereas monad transformers...
  • EAT

  • Referenced in 17 articles [sw09167]
  • effective homology computation. Kenzo: EAT (= Effective Algebraic Topology), the previous program. Before the Kenzo program ... just designed to illustrate our methods of Effective Homology by a concrete experimental program...
  • HSL_MI20

  • Referenced in 55 articles [sw07246]
  • problems in 3D. Algebraic multigrid (AMG) is one of the most effective iterative methods...
  • CoqEAL

  • Referenced in 5 articles [sw03703]
  • CoqEAL - The Coq Effective Algebra Library. Cyril Cohen, Anders Mörtberg (University of Gothenburg ... currently developing a Coq library for effective algebra, by which we mean formally verified computer...
  • Frank

  • Referenced in 7 articles [sw13659]
  • experimental programming language with typed algebraic effects...
  • xPerm

  • Referenced in 33 articles [sw01153]
  • computer algebra system. We demonstrate with tests and timings the effectively polynomial performance ... recent investigations in large-scale tensor computer algebra...
  • CkAnalytic

  • Referenced in 11 articles [sw19313]
  • decaying coefficients: we employ sequence spaces of algebraic and exponential decay rates in order ... results. We illustrate the implementation and effectiveness of the method in a variety of regularity ... classes. We also examine the effectiveness of spaces of algebraic decays for studying solutions...
  • OreAlgebraicAnalysis

  • Referenced in 4 articles [sw15153]
  • Effective algebraic analysis approach to linear systems over Ore algebras. Physical systems are typically modeled...
  • OrientXA

  • Referenced in 3 articles [sw18909]
  • OrientXA: An effective XQuery algebra. XQuery is the recommended standard for XML query. XQuery processing ... former algebra based works, an effective XQuery algebra system, OrientXA, is proposed in this paper...
  • CANONIK

  • Referenced in 24 articles [sw12229]
  • with other Lie algebras. Examples of Lie algebras with canonical bases ... authors seems to be very effective and useful...
  • CHomP

  • Referenced in 51 articles [sw09358]
  • large datasets can be reduced to compact algebraic expressions that provide insight into underlying geometric ... effort to develop and apply efficient and effective topologically based methods to the analysis...
  • Kenzo

  • Referenced in 65 articles [sw04861]
  • general ideas of the second author about Effective Homology, mainly around the Serre and Eilenberg ... should be called the Fundamental Theorem of Algebraic Topology. The first version of the program...
  • AMGCL

  • Referenced in 15 articles [sw29215]
  • systems with algebraic multigrid (AMG) method. AMG is one of the most effective iterative methods...
  • FourTiTwo

  • Referenced in 8 articles [sw07615]
  • applications in algebraic statistics. Throughout the paper, the authors effectively use a running example...
  • HElib

  • Referenced in 37 articles [sw09518]
  • Brakerski-Gentry-Vaikuntanathan (BGV) scheme, focusing on effective use of the Smart-Vercauteren ciphertext packing ... used in HElib for data movement, linear algebra, and other operations over this “platform...
  • ATENSOR

  • Referenced in 12 articles [sw00055]
  • algebra technique for permutation group is applied to construct a canonical subspace and the effective...
  • HSL_MI28

  • Referenced in 15 articles [sw13376]
  • numerical experiments are used to isolate the effects of scaling, ordering, and dropping strategies ... their usefulness in the development of robust algebraic incomplete factorization preconditioners and to select default...
  • Chronos

  • Referenced in 2 articles [sw40312]
  • work presents Chronos, a collection of linear algebra functions specifically designed for the solution ... emphasis is on modern, effective, and scalable Algebraic Multigrid (AMG) preconditioners for high performance computing...
  • olga.lib

  • Referenced in 7 articles [sw22197]
  • implementation of arithmetics over the ubiquitous G-algebras in Singular:Plural and discuss questions arising ... this context. Numerous examples illustrate the effectiveness of the proposed approach...
  • OFMC

  • Referenced in 28 articles [sw09466]
  • extends previous similar languages with support for algebraic properties of cryptographic operators and with ... resulting from an IF specification. OFMC’s effectiveness is due to the integration ... analyze security protocols with respect to an algebraic theory of the employed cryptographic operators, which...