×

Letterplace

swMATH ID: 36844
Software Authors: Viktor Levandovskyy, Karim Abou Zeid, Hans Schönemann
Description: Singular: Letterplace - A subsystem of CAS Singular for computations with non-commutative finitely presented associative algebras over fields and rings.
Homepage: https://www.singular.uni-kl.de/Manual/4-2-1/sing_799.htm
Dependencies: Singular
Keywords: matrix identities; Gröbner bases; word problems; proof certificates; elimination theory; proof assistant
Related Software: SINGULAR; Plural; Magma; OperatorGB; SageMath; SymbolicData; Maple; homalg; OSCAR; NCGB; SDeval; GBNP; BERGMAN; ncHilb; Mathematica; LieRing; Ncpoly; ApCoCoA; FPLSA; LDA
Cited in: 22 Publications

Citations by Year