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

Возможности Lurch не ограничиваются примитивной арифметикой, поскольку программа также распознает и «понимает» алгебру, вычисления и доказательства. Приложение работает на множестве различных уровней: в простейшем варианте Lurch используется как базовый редактор с поддержкой уравнений на базе OpenMath – математические выражения добавляются в текстовый документ при помощи панели инструментов, калькулятора или TeX-нотаций.

Все вводимые данные мгновенно визуализируются при помощи MathJax – того же механизма отображения, который используется для уравнений практически в любом браузере. Кроме того, утилита Lurch способна сохранять результаты работы в виде HTML-страницы или только фрагмента HTML-кода, готового для передачи другим пользователям.

Lurch – это не только ввод статического текста и математических символов. Простые инструменты разметки позволяют пользователю определять для Lurch, что означают разные части документа. Например, в выражении «Поскольку 1<2 и 2<3, мы знаем, что 1<3 по закону транзитивности» пользователю нужно отметить 1<2, 2<3 и 1<3 в качестве интерпретируемых значений, «транзитивность» в качестве обоснования и нажать кнопку Validate, чтобы программа проверила вывод.

Программа проверяет аргументацию пользователя при помощи более 100 предварительно настроенных правил, начиная со сложения и умножения и заканчивая логикой, законами де Моргана и декартовыми произведениями. Они все доступны для просмотра, и при необходимости пользователь даже может добавлять собственные новые правила.

Lurch нельзя назвать инструментом для новичков математики. Для тех же, кому это не кажется слишком сложным, преимущества Lurch могут оказаться очень полезными: программа проста в работе, предоставляет свободу в построении доказательства и дает возможность расширять встроенную базу правил проверки.

Скачать бесплатную утилиту Lurch можно для ОС Windows XP – 8, Windows Server, Linux и Mac OS X.

По материалам сайта BetaNews.

Последние новости и обзоры программ:

Новая версия Revisor VMS 1.9.2

Вышла обновленная версия Grizzly Антивирус (1.0.40.344)

Сооснователь Apple не видит условий для начала "войны машин"

Samsung Grand Duos взорвался в кармане у жителя Индонезии

Бывший разработчик Telegram раскрыл новые подробности конфликта с Дуровым

В США спрогнозировали будущее российской космонавтики

Россияне оказались готовы к разговору с умным холодильником

Разработан метод создания живой сетчатки глаза при помощи 3D-печати

Siri признана самым тупым искусственным интеллектом

Поддержка Firefox для Windows XP и Vista прекратится в 2018 году

Комментарии на нашем сайте: