Equations in acylindrically hyperbolic groups.
Algebraic, verbal, and existential closedness
An efficient algorithm for finding a basis of the fixed
point subgroup of an automorphism of a free group
Public lecture of Oleg Bogopolski: Introduction to train tracks |