Some of the papers that the algorithms within curver are based on:

[Bell15]Recognising mapping classes
[Bell16]Simplifying triangulations
[BellWebb16]Polynomial-time algorithms for the curve graph
[Bowditch08]Tight geodesics in the curve complex
[EricksonNayyeri13]Tracing compressed curves in triangulated surfaces
[FarbMarg12]A primer on mapping class groups
[GadreTsai11]Minimal pseudo-Anosov translation lengths on the complex of curves
[Mosher07]Mapping Class Groups
[Webb15]Combinatorics of tight geodesics and stable lengths