Compression Semigroups of Open Orbits on Real Flag Manifolds.
We give a new method to compute the centralizer of an element in Artin braid groups and, more generally, in Garside groups. This method, together with the solution of the conjugacy problem given by the authors in [9], are two main steps for solving conjugacy systems, thus breaking recently discovered cryptosystems based in braid groups [2]. We also present the result of our computations, where we notice that our algorithm yields surprisingly small generating sets for the centralizers.
We exhibit an algorithm to compute a Dirichlet domain for a Fuchsian group with cofinite area. As a consequence, we compute the invariants of , including an explicit finite presentation for .