Денис Валентинович Рысцов
пише?4 июл 2007 в 23:34
Хочу удобную wiki для создания электронной версии конспектов, в основном, математических лекций. TeX не устраивает, так как это формат для оформления текста без учета его семантики, по сути, картинка, в которой нельзя проследить зависимости между доказательствами, а я хочу иметь динамическую систему, к которой можно делать всяческие запросы. Например, выдай мне список всех теорем и определений, используемых в данном доказательстве, и так вплоть до аксиом. А полученый выход уже можно конвертнуть в TeX или в картинки для просмотра на КПК. Ну и конечно, что бы все это работало в нете, то есть труд по записи лекции, учитывая семантику, перекладывался с плеч одного человека на один плевок для всего потока.
P.S.Побочное использование такое: гружу в систему список вопросов экзамена, а на выходе имею шпоры, бомбы, граф зависимости между билетами...