비유클리드 기하학의 대수화와 수학적 도구