
Z
 Referenced in 282 articles
[sw10291]
 relational calculus are introduced, its algebraic properties are not mentioned; many of the proofs about ... much more simply and elegantly by relational algebra than in the pointwise fashion used...

BLAS
 Referenced in 496 articles
[sw03216]
 packages. Primarily the Fortran BLAS (Basic Linear Algebra Subroutines) collected together by level ... software for dynamically determining machinedependent arithmetic properties...

redbKIT
 Referenced in 227 articles
[sw12977]
 properties, discusses the related algorithmic and implementation aspects, and highlights their builtin algebraic ... proper orthogonal decomposition techniques, investigate their approximation properties and analyze offlineonline decomposition strategies aimed...

MaudeNPA
 Referenced in 33 articles
[sw12159]
 which the cryptosystems satisfy different equational properties. It both extends and provides a formal framework ... supports a wide variety of algebraic properties that includes many cryptosystems of interest such...

HPL
 Referenced in 61 articles
[sw10415]
 implementation of the product algebra, the derivative properties, series expansion and numerical evaluation. The analytic...

Epsilon
 Referenced in 44 articles
[sw00244]
 normal, simple, irreducible, or with projection property), decompose algebraic varieties into irreducible or unmixed subvarieties...

OFMC
 Referenced in 28 articles
[sw09466]
 previous similar languages with support for algebraic properties of cryptographic operators and with a simple ... analyze security protocols with respect to an algebraic theory of the employed cryptographic operators, which...

LieART
 Referenced in 58 articles
[sw08573]
 root systems of Lie algebras, weight systems and several other properties of irreducible representations. LieART...

Gaigen
 Referenced in 36 articles
[sw04958]
 experimentation, many geometric algebras with different dimensionality, signatures and other properties may be required. Instead...

Mnets
 Referenced in 11 articles
[sw09132]
 operations of this domain have various algebraic properties. Moreover, the model is such that composition...

MatrixMarket
 Referenced in 168 articles
[sw04020]
 comparative studies of algorithms for numerical linear algebra. Matrices as well as matrix generation software ... searching for matrices with special properties are included. Each matrix (and matrix ... generator has a home page describing its properties. Generators are either static software which ... Software which has focus areas in linear algebra, special functions and statistics...

CHomP
 Referenced in 51 articles
[sw09358]
 compact algebraic expressions that provide insight into underlying geometric structures and properties. The material described...

PEPA
 Referenced in 117 articles
[sw10692]
 Process Algebra. PEPA tools: The PEPA process algebra is supported by the PEPA Eclipse Plug ... abstracting PEPA models, and for model checking properties in the Continuous Stochastic Logic (CSL). Download...

Homology
 Referenced in 30 articles
[sw04871]
 form algorithms Geometric properties of topological spaces are conveniently expressed by algebraic invariants...

muFP
 Referenced in 6 articles
[sw28645]
 were chosen because they have nice algebraic properties. Thus, circuit descriptions are concise...

CLIFFORD
 Referenced in 84 articles
[sw00131]
 with entries in C(B) – the Clifford algebra of a vector space V endowed with ... Graßmann and Clifford bases can be used. Properties of reversion in undotted and dotted wedge...

SUPERCALC
 Referenced in 6 articles
[sw00928]
 string theory. Solution method: Using the algebraic properties of bracket structures, the commutator (or Poisson...

HipSpec
 Referenced in 14 articles
[sw07736]
 program. These equational properties make up an algebraic specification for the program ... background theory for proving additional userstated properties. Experimental results are encouraging: HipSpec compares favourably...

SimpLie
 Referenced in 5 articles
[sw34815]
 current features are: Calculation of Lie algebra properties based on Dynkin diagrams; Calculation of highest...

Lsolver
 Referenced in 5 articles
[sw09342]
 commands permitting research investigations of some algebraic properties of the system that is being studied...