
BCTRU
 Referenced in 2 articles
[sw36135]
 polynomial ring called bicartesian 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 nontrivial 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 noncommutative rings ... basis technique over some classes of Ore algebras. JanetOre computes Janet bases and Janetlike...

olga.lib
 Referenced in 6 articles
[sw22197]
 algebras: Constructive Arithmetics in Ore Localizations of Domains. For a noncommutative domain ... implementation of arithmetics over the ubiquitous Galgebras in Singular:Plural and discuss questions arising...

CRAG
 Referenced in 8 articles
[sw06865]
 test cryptographic protocols constructed from noncommutative 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 anticommutation 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 ... multipath 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 noncommuting 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, noncommutative 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...