• 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 machine-dependent arithmetic properties...
  • redbKIT

  • Referenced in 227 articles [sw12977]
  • properties, discusses the related algorithmic and implementation aspects, and highlights their built-in algebraic ... proper orthogonal decomposition techniques, investigate their approximation properties and analyze offline-online decomposition strategies aimed...
  • Maude-NPA

  • 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 crypto-systems 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...
  • M-nets

  • 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 user-stated 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...