C library of triangulation algorithms (for the problems of mobile robot positioning or resection)