• BCTRU

  • Referenced in 2 articles [sw36135]
  • polynomial ring called bi-cartesian algebra , which is commutative and associative.The probability of successful...
  • CommMatAlg

  • Referenced in 1 article [sw18777]
  • CommMatAlg. Some MAGMA functions for handling commutative matrix algebras...
  • SPLIT

  • Referenced in 9 articles [sw10296]
  • into the direct sum of smaller Lie algebras, if such a decomposition exists. The decomposition ... only if there are non-trivial idempotents commuting with the representation. Therefore the algorithm ... Jacobson radical. After forming the quotient algebra there are good criteria for decomposability...
  • JanetOre

  • Referenced in 5 articles [sw09587]
  • algebras and more generally for submodules of free left modules over those non-commutative rings ... basis technique over some classes of Ore algebras. JanetOre computes Janet bases and Janet-like...
  • olga.lib

  • Referenced in 6 articles [sw22197]
  • algebras: Constructive Arithmetics in Ore Localizations of Domains. For a non-commutative domain ... implementation of arithmetics over the ubiquitous G-algebras in Singular:Plural and discuss questions arising...
  • CRAG

  • Referenced in 8 articles [sw06865]
  • test cryptographic protocols constructed from non-commutative groups, for example the braid group. The Library ... computations. There are implementations of basic algebraic objects like words, maps and subgroups. We plan...
  • ccr_car_algebra

  • Referenced in 1 article [sw20533]
  • deal with polynomials of any algebra given by its commutation or anti-commutation relations...
  • VSPLAD

  • Referenced in 2 articles [sw10212]
  • algebra and enveloping algebra, the program is able to compute commutators, to evaluate similarity transformations...
  • pAQFT

  • Referenced in 7 articles [sw11711]
  • local symmetries in the framework of perturbative algebraic quantum field theory (pAQFT). Our main result ... shell, can be written as the commutator with the interacting BRST charge ... invariance and, using the language of homological algebra, we compare different approaches to quantization...
  • POLRANGE

  • Referenced in 1 article [sw10305]
  • algebra, i.e. for the polynomials in the generators which commute with all generators. An appropriate...
  • ORDINVAR

  • Referenced in 1 article [sw11847]
  • algebra, i.e. for the polynomials in the generators which commute with all generators. An appropriate...
  • CRC 3

  • Referenced in 9 articles [sw09782]
  • complete agreement between the specification’s initial algebra, mathematical semantics, and its operational semantics ... applied modulo different combinations of associativity, commutativity and identity axioms is challenging. In particular...
  • Aligators

  • Referenced in 1 article [sw09779]
  • array invariants. Aligators leverages recurrence solving and algebraic techniques to carry out inductive reasoning over ... multi-path loops by exploiting their commutativity and serializability properties. Our experience in applying Aligators ... projects indicates the applicability of recurrence and algebraic solving techniques for reasoning about arrays...
  • SetSails!

  • Referenced in 2 articles [sw06371]
  • students learn to transform terms in set algebra. There are several different exercises in which ... step one first selects a rule (e.g. commutative law) and then chooses a term that ... look up the rules of set algebra in a virtual book. While solving the exercise...
  • GammaMaP

  • Referenced in 2 articles [sw28384]
  • GammaMaP” - A Mathematica Package for Clifford Algebras, Gamma Matrices and Spinors. We present a Mathematica ... based on defining the commutation relations of the relevant matrices, and is thus general...
  • SNEG

  • Referenced in 3 articles [sw12815]
  • collection of transformation rules that define the algebra of operators and a comprehensive library ... adapted to any given problem involving non-commuting operators. It can be used for educational...
  • HXDTRU

  • Referenced in 1 article [sw32107]
  • NTRU cryptosystem based on highly dimensional algebra with dense lattice structure. NTRU public ... Shamir’s conclusion about the dnon commutative computations in encryption and decryption processes ... paper, a new alternative non associative, non-commutative multidimensional system is proposed under the same ... place in a specially designed high dimensional algebra called hexadecnion algebra. The proposed system...
  • DiracQ

  • Referenced in 2 articles [sw08513]
  • designed for helping with typical algebraic manipulations that arise in quantum Condensed Matter Physics ... capabilities of Mathematica by building in standard commutation and anticommutation rules for several objects relevant...
  • ATLAS

  • Referenced in 197 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • AXIOM

  • Referenced in 172 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...