Ariadne

Ariadne é um programa baseado em toque para o aprendizado de homotopias de caminhos, sem o uso do formalismo, construindo modelos mentais. Usando Ariadne, o usuário pode construir pontos, caminhos arrastando pontos e homotopias arrastando caminhos, bem como computando números de caminhos, em uma variedade de superfícies, através de gestos de toque. Ariadne fornece superfícies em duas e três dimensões e um número opcional de furos.

Este ambiente permite ao usuário abordar questões referentes à equivalência de pontos por caminhos ou caminhos por homotopias, pois permite somente operações matematicamente válidas, i. e., caminhos e homotopias não podem passar através de furos na superfície.

Ariadne é projetada para permitir que estudantes de todas as idades e estados de conhecimento anteriores abordem problemas que vão desde a construção de um caminho que conecta pontos à classificação de todos os caminhos até a homotopia em um plano perfurado, efetivamente calculando o grupo fundamental de uma esfera.