Вот я геогеброй рисовал параллели Клиффорда
https://www.geogebra.org/u/george1966Потом понял, что много ей не нарисуешь (при всём уважении, для детей хорошо), выучил C++, OpenGL и написал свою геометрическую программу, которую здесь выложил, после чего пришлось уйти с форума со скандалом. Как сказал Сирожа Яковенко "Не в коня корм" (а Сирожа знает толк в корме). Но не будем о грустном: пытаюсь писать новый учебник и сталкиваюсь всё время с одной ситуацией -- если честно и трудолюбиво выписывать доказательства, учебник становится нечитаемым (учебник теории категорий спасало большое количество картинок-диаграмм). А если писать как все -- намечать начало доказательства и писать "и так далее" -- никто проверять не будет и не поймёт деталей. Я проверил доказательства в одной известной книжке хорошего математика Драгалина и после слов "и так далее" нашёл зияющую дыру (к счастью, заделанную в другой книжке других авторов, но рядовой читатель сам не заделает). Вижу выход в том, чтобы писать интерактивный учебник -- чтобы разворачивались меню, подсвечивались символы разными цветами, выражения преобразовывались на глазах читателя и т.д. Пробую это делать, но дело трудное.
Слово "бурбакизация" дурацкое, именно в математической логике бурбаки не понимали и первая их книга негодная (остальные лучше).