Ariadne

Ariadne adalah program berbasis sentuhan untuk pembelajaran homotopies of paths, tanpa menggunakan formalisme, dengan membangun model mental. Dengan menggunakan Ariadne, pengguna dapat membuat titik, jalur dengan menyeret titik dan homotop dengan menyeret jalur serta menghitung jumlah jalur yang berkelok-kelok, semuanya pada berbagai permukaan, melalui gerakan sentuh. Ariadne menyediakan permukaan dalam dua dan tiga dimensi dan jumlah tusukan opsional.

Lingkungan ini memungkinkan pengguna untuk menangani pertanyaan tentang kesetaraan titik dengan jalur atau jalur oleh homotopies, karena hanya memungkinkan operasi yang valid secara matematis, i. e., jalur dan homotopies tidak dapat melewati tusukan pada permukaan.

Ariadne dirancang untuk memungkinkan siswa dari segala usia dan keadaan sebelumnya dari masalah pendekatan pengetahuan mulai dari pembangunan jalur penghubung hingga klasifikasi semua jalur hingga homotopi pada bidang yang tertusuk, yang secara efektif menghitung kelompok dasar bola.