Ariadne

Ariadne은 형식주의를 사용하지 않고 정신 모델을 구축하여 경로의 동질성을 학습하는 터치 기반 프로그램입니다. Ariadne을 사용하여 사용자는 경로를 드래그하여 점과 호모ot를 드래그하여 점, 경로를 구성 할 수 있으며 터치 제스처를 통해 다양한 표면의 모든 경로를 계산할 수 있습니다. Ariadne은 표면을 2 차원 및 3 차원으로 제공하고 선택적으로 펑크 수를 제공합니다.

이 환경은 수학적으로 유효한 연산만을 허용하기 때문에 사용자가 호모 토피에 의한 경로 또는 경로에 의한 점의 등가성에 관한 질문에 대처할 수있게한다. 즉, 경로와 호모 토피는 표면의 구멍을 통과 할 수 없다.

Ariadne은 모든 연령대의 학생들과 이전의 지식 상태가 포인트를 연결하는 경로 구성에서부터 펑크 된 평면에 대한 호모 토피 (homotopy)에 이르기까지 모든 경로를 분류하는 데 이르기까지 문제를 해결하여 구의 기본 그룹을 효과적으로 계산하도록 설계되었습니다.