XSSR: An experimental system for string rewriting -- decision problems, algorithms, and implementation. Here we present the eXperimental System for String Rewriting, XSSR, which is a special purpose computer algebra system for combinatorial group and semigroup theory. It is intended for effectively performing computations in monoids and groups that are given through finite presentations in terms of generators and defining relations. This system, which has been developed in a joint research project at the University of Kaiserslautern and the University of Kassel, is based on rewriting techniques, adopted to the special situation of string rewriting systems at hand.
Keywords for this software
References in zbMATH (referenced in 3 articles , 1 standard article )
Showing results 1 to 3 of 3.
- Kögl, Christoph: Computer algebra software for finitely presented monoids and groups. (2003)
- Cohen, Arjeh M. (ed.); Gao, Xiao-Shan (ed.); Takayama, Nobuki (ed.): Mathematical software. Proceedings of the 1st international congress, Beijing, China, August 17--19, 2002 (2002)
- Hofbauer, Dieter; Otto, Friedrich; Kögl, Christoph; Madlener, Klaus E.: XSSR: An experimental system for string rewriting -- decision problems, algorithms, and implementation (2002)