×

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; OperatorGB; SageMath; Magma; OSCAR; homalg; Maple; SymbolicData; Felix; ncHilb; SDeval; NCGB; BERGMAN; GBNP; LieRing; Staggered.mpl; freegb.lib; olga.lib; JAS
Cited in: 27 Documents

Citations by Year