Lurch позволяет добавлять и проверять математические функции в тексте
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.
Оставьте Ваш комментарий или мнение о новости: Lurch позволяет добавлять и проверять математические функции в тексте Просим Вас оставлять сообщения по теме и уважать своих собеседников и авторов новостного сообщения.
.gif){kind=small}
.gif){kind=small}
