GAP package FR. Computations with functionally recursive groups.
Keywords for this software
References in zbMATH (referenced in 6 articles )
Showing results 1 to 6 of 6.
- Bartholdi, Laurent: Algorithmic decidability of Engel’s property for automaton groups (2016)
- Klimann, Ines: Automaton semigroups: the two-state case. (2016)
- Klimann, Ines; Picantin, Matthieu; Savchuk, Dmytro: Orbit automata as a new tool to attack the order problem in automaton groups (2016)
- Hartung, René: Algorithms for finitely $L$-presented groups and their applications to some self-similar groups. (2013)
- Haïssinsky, Peter; Pilgrim, Kevin M.: An algebraic characterization of expanding Thurston maps (2012)
- Bartholdi, Laurent; Eick, Bettina; Hartung, René: A nilpotent quotient algorithm for certain infinitely presented groups and its applications. (2008)