1. Backelin et al., The Bergman package can be downloaded from the website: .
2. Ideal, Varieties and Algorithms: An introduction to computational Algebraic Geometry and Commutative Algebra;Cox,1997
3. J.C. Faugere, LIP6, Paris 6; the FGb software can be downloaded from the website: . It is consistent with Maple 10 and is included in Maple 11.
4. A. Kudryavtseva, V. Mazorchuk, On the semigroup of square matrices, Arxiv preprint math.GR/0510624, version 2, 2006.
5. Convex matrix equations