Ariadne

Ариадна - это сенсорная программа для изучения гомотопий путей без использования формализма путем построения ментальных моделей. Используя Ariadne, пользователь может создавать точки, пути, перетаскивая точки, и гомотопии, перетаскивая пути, а также вычислять извилистые числа путей на всех поверхностях с помощью сенсорных жестов. Ариадна предоставляет поверхности в двух и трех измерениях и дополнительное количество проколов.

Эта среда позволяет пользователю решать вопросы, касающиеся эквивалентности точек путями или путями гомотопий, поскольку она допускает только математически допустимые операции, т.е. пути и гомотопии не могут проходить через проколы на поверхности.

Ариадна предназначена для того, чтобы ученики всех возрастов и предыдущих уровней знаний могли подходить к решению проблем, начиная от построения пути, соединяющего точки, и заканчивая классификацией всех путей, вплоть до гомотопии на проколотой плоскости, эффективно вычисляя фундаментальную группу сферы.