Ariadne

Ariadne to oparty na dotyku program do nauki homotopiów ścieżek, bez użycia formalizmu, poprzez budowanie modeli myślowych. Za pomocą Ariadne użytkownik może konstruować punkty, ścieżki, przeciągając punkty i homotopie, przeciągając ścieżki, a także obliczając kręte numery ścieżek, wszystkie na różnych powierzchniach, za pomocą gestów dotykowych. Ariadne zapewnia powierzchnie w dwóch i trzech wymiarach oraz opcjonalną liczbę nakłuć.

To środowisko umożliwia użytkownikowi rozwiązywanie pytań dotyczących równoważności punktów po ścieżkach lub ścieżkach za pomocą homotopii, ponieważ pozwala tylko na poprawne matematycznie operacje, tj. ścieżki i homotopie nie mogą przechodzić przez nakłucia na powierzchni.

Ariadne ma na celu umożliwienie uczniom w każdym wieku i przed wiekiem zgłębienia problemów, począwszy od budowy ścieżki łączącej punkty do klasyfikacji wszystkich ścieżek do homotopii na przebitej płaszczyźnie, efektywnie obliczając podstawową grupę sfery.