×

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; SageMath; SymbolicData; OperatorGB; homalg; Maple; ncHilb; OSCAR; NCGB; SDeval; GBNP; BERGMAN; FPLSA; DIFFALG; DifferentialThomas; SF; posets; coxeter
Cited in: 23 Publications

Standard Articles

2 Publications describing the Software, including 2 Publications in zbMATH Year
Letterplace – a subsystem of Singular for computations with free algebras via letterplace embedding. Zbl 07300085
Levandovskyy, Viktor; Schönemann, Hans; Zeid, Karim Abou
2020
Formally verifying proofs for algebraic identities of matrices. Zbl 1455.68253
Schmitz, Leonard; Levandovskyy, Viktor
2020
all top 5

Cited by 32 Authors

7 Levandovskyy, Viktor
6 La Scala, Roberto
3 Zeid, Karim Abou
2 Hofstadler, Clemens
2 Hossein Poor, Jamal
2 Metzlaff, Tobias
2 Raab, Clemens G.
2 Regensburger, Georg
1 Bokut, Leonid A.
1 Ceria, Michela
1 Chen, Yuqun
1 Cvetković-Ilić, Dragana S.
1 Drazin, Michael P.
1 Fløystad, Gunnar
1 Gerdt, Vladimir Petrovich
1 Greve, Bjørn Møller
1 Heaton, Alexander
1 Herzog, Jürgen
1 Johnson, Jeremiah William
1 Li, Huishi
1 Liu, Jiang
1 Milošević, Jovana
1 Mora, Teo
1 Nguefack, Bertrand
1 Pola, Emmanuel
1 Schmitz, Leonard
1 Schnitzler, Benjamin
1 Schönemann, Hans
1 Sriwongsa, Songpon
1 Studzinski, Grischa
1 Tiwari, Sharwan Kumar
1 Verron, Thibaut
all top 5

Cited in 9 Serials

8 Journal of Symbolic Computation
3 Journal of Pure and Applied Algebra
2 Journal of Algebra
1 Mathematics of Computation
1 Applied Mathematics and Computation
1 Linear Algebra and its Applications
1 Journal of Lie Theory
1 Journal of Systems Science and Complexity
1 Bulletin of Mathematical Sciences
all top 5

Cited in 12 Fields

14 Associative rings and algebras (16-XX)
13 Commutative algebra (13-XX)
11 Computer science (68-XX)
4 Group theory and generalizations (20-XX)
3 Combinatorics (05-XX)
3 Linear and multilinear algebra; matrix theory (15-XX)
2 Order, lattices, ordered algebraic structures (06-XX)
2 Field theory and polynomials (12-XX)
2 Nonassociative rings and algebras (17-XX)
1 Mathematical logic and foundations (03-XX)
1 Category theory; homological algebra (18-XX)
1 Operator theory (47-XX)

Citations by Year