- Algorithmic ring-theoretic properties of finitely presented algebras (Letterplace)
- Karim Abou Zeid, karim.abou.zeid at rwth-aachen.de
Support: Project II.6 in the transregional collaborative research centre
SFB-TRR 195 'Symbolic Tools in Mathematics and their Application' of the German DFG
- In this library, algorithms for computing various ring-theoretic properties of
finitely presented algebras are implemented.
Applicability: Letterplace rings.
- Huishi Li: Groebner bases in ring theory. World Scientific, 2010.