Description
Book SynopsisContains the proceedings of the AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science held at Mount Holyoke College (South Hadley, MA). This work features articles about insights from computer experiments, applications of formal language theory, decision problems, and complexity problems.
Table of ContentsOpen problems in combinatorial group theory by G. Baumslag, A. G. Myasnikov, and V. Shpilrain The bar problem-A simple tiling problem which is $NP$-complete on the Euclidean tessellation by squares but which is polynomial time on the hyperbolic tessellations by $4g$-gons, $g \geq 2$ by D. Beauquier, D. E. Muller, and P. E. Schupp When are centralizers of finite subgroups of $Out(F_n)$ finite? by D. L. Boutin Computing angles in hyperbolic groups by Z. Grunschlag On effective decidability of the homeomorphism problem for non-compact surfaces by O. Ly Some presentations of the trivial group by C. F. Miller III and P. E. Schupp A language theoretic analysis of combings by S. Rees.
