
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 largescale 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]
 BrakerskiGentryVaikuntanathan (BGV) scheme, focusing on effective use of the SmartVercauteren 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 Galgebras 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...