Naproche-SAD公司 swMATH ID: 37536 软件作者： 阿德里安·德隆（Adrian De Lon）；彼得·科普克（Peter Koepke）；安东·洛伦岑 描述： 解读Naproche-SAD中的数学文本。Naproche-SAD是基于受控自然输入语言ForTheL的自然证明助手。将ForTheL集成到LaTeX中，可以利用排字命令来消除数学文本的歧义和结构，高质量的数学排字是免费的。除了Naproche-SAD的原始一阶内部格式之外，一种新的通用解析机制允许将文本翻译成其他形式语言。我们可以从ForTheL语句生成正确的精益代码，这可能对编写可读的fabstracts有用。 主页： https://link.springer.com/chapter/10.1007%2F978-3-030-53518-6_19 相关软件： 精益;那不勒斯;对于TheL;米扎尔;伊莎贝尔/伊萨尔 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 解读Naproche-SAD中的数学文本。 Zbl 1455.68244号阿德里安·德隆;彼得·科普克;安东·洛伦岑 2020 3位作者引用 1 阿德里安·德隆 1 彼得·科普克 1 安东·洛伦岑 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文