Check out my first novel, midnight's simulacra!

Manning algorithm

From dankwiki

An algorithm to find hyperbolic structures on 3-manifolds whose fundamental group have a solution to the word problem for groups.