Ariadne

Ariadne, zihinsel modeller oluşturarak, formalizmin kullanımı olmadan, yolların homotoptiklerinin öğrenilmesi için dokunmatik bir programdır. Kullanıcı, Ariadne'i kullanarak, çeşitli yüzeylerdeki dokunma hareketleri aracılığıyla, çeşitli yüzeylerdeki dolambaçlı sayıdaki yolları hesaplayarak noktaları ve homotopileri sürükleyerek noktalar, yollar oluşturabilir. Ariadne iki ve üç boyutta yüzeyler ve isteğe bağlı olarak çok sayıda delme sağlar.

Bu ortam kullanıcının, noktaların yollarla ya da yolların homotopilerle eşitliği ile ilgili soruları ele almasını sağlar, çünkü sadece matematiksel olarak geçerli işlemlere izin verir, i. örneğin, yollar ve homotopikler yüzeydeki deliklerden geçemez.

Ariadne, her yaştan ve önceki bilgi düzeyindeki öğrencilere, bir yolun bağlantı noktalarının inşasından, tüm yolların sınıflandırılmasına kadar olan ve bir kürenin temel grubunu etkin bir şekilde hesaplayan, delinmiş bir düzlem üzerinde homotopiğe kadar değişen problemlere yaklaşmalarını sağlamak için tasarlanmıştır.