Свободно распространяемые программы для Windows

Rss рассылка

Хотите подписаться на обновления?

Введите email адрес:

rss-лента

Форма входа

Справка в математическом текстовом редакторе Lurch

Текстовый процессор с поддержкой математических выражений, который проверяет шаги работы пользователя.

Приложение позволяет вставлять общие символы или буквы, математические операторы, знаки равенства и отношения скобок, геометрические символы и многое другое.

Программу можно использовать в качестве простого текстового редактора. Lurch работает с форматом .lurch, но может открывать и txt файлы.

Шаг это любая часть документа Lurch (но обычно одно математическое выражение), к которому присоединена причина (вне зависимости от того, верна причина, или даже просто не заполнена).

Причиной является ссылка на "процедуру классификации", метод, с помощью которого Lurch может проверить, оправдывает ли причина шаг, к которому она прикреплена. Теоремы являются общим математическим примером причин; Вы цитируете одну, а затем читатель (или программное обеспечение) может проверить, правильно ли вы использовали теорему. Более машинно-ориентированный пример будет просить Lurch использовать свою внутреннюю систему компьютерной алгебры, чтобы проверить шаг работы.

Язык:  Английский

Лицензия: GNU GPL v3

Официальный сайт: sourceforge.net/projects/lurch/

Перейти в каталог загрузки на sourceforge

СкачатьВнимание, резервная копия обновляется очень редко, так как нужна на случай удаления дистрибутива с официального сайта.

Резервная копия на Google Drive, версия 0.8

Похожее:

Добавить комментарий



Anti-spam: complete the task