Система набора \(\TeX\) была разработана в 1977 году легендарным Дональдом Э. Кнутом . Программный пакет \(\LaTeX\) по-прежнему является частью стандартного репертуара при создании научных статей. С помощью следующих двух инструментов уже созданные PDF-файлы и рукописные заметки можно полностью автоматически преобразовать в TeX. Результаты очень многообещающие.
Первый инструмент, Mathpix , в настоящее время пользуется большой популярностью в социальных сетях. Он специализируется на преобразовании отдельных формул. Часть текущего экрана может быть выделена и преобразована с помощью комбинации клавиш. Программа предлагает несколько возможных решений с оценкой точности. Я проверил это, используя формулу из Ethereum Yellow Paper.:
$$n(\mathfrak{I}, i) \equiv \left\{\begin{array}{ll}{( )} & {\text { if } \quad \mathfrak{I}=\varnothing} \\ {c(\mathfrak{J}, i)} & {\text { if } \quad|c(\mathfrak{I}, i)|<32} \\ {\operatorname{KEC}(c(\mathfrak{I}, i))} & {\text { otherwise }}\end{array}\right.$$
Второй инструмент, InfinityReader, существует уже почти 15 лет. Эта несколько устаревшая программа может конвертировать целые документы (бесплатная пробная версия позволяет попробовать одну страницу). Её также можно автоматизировать из командной строки, и она обрабатывает множество форматов входных файлов, включая вывод в формате MathML . Пример выше показывает несколько худшие результаты в этом отношении.:
$$n(\mathrm{I},\ i)\equiv \left\{ \begin{array}{ll} () & \mathrm{i}\mathrm{f}\ \mathrm{I}=\emptyset\\ c(\mathrm{I},\ i) & \mathrm{i}\mathrm{f}\ \Vert c(\mathrm{I},\ i\ <32\\ \mathrm{K}\mathrm{E}\mathrm{C}(c(\mathrm{I},\ i)) & \mathrm{o}\mathrm{t}\mathrm{h}\mathrm{e}\mathrm{r}\mathrm{w}\mathrm{i}\mathrm{s}\mathrm{e} \end{array} \right.$$
Эти инструменты упрощают ввод текста и позволяют быстро конвертировать формулы и документы. Однако в большинстве случаев избежать ручной коррекции не получится. Завершаем цитатой Дональда Э. Кнута: «Мой общий стиль работы — сначала писать все карандашом и бумагой, сидя рядом с большой корзиной для мусора. Затем я использую Emacs, чтобы ввести текст в свою машину».