跳到内容

缝翼/sTeX

存储库文件导航

sTeX:LaTeX文档语义预加载的基础设施

CI状态

此存储库包含sTeX包集合,它是TeX/LaTeX的一个版本,允许以语义方式标记TeX/LaTeX文档,而不离开文档格式。

正在运行pdflatex公司通过sTeX注释文档将其格式化为外观正常的PDF。但是sTeX还带有转换管道进入之内语义注释的HTML5,它可以承载语义附加值服务,使文档处于活动状态(即交互式和用户自适应),并从本质上将LaTeX转变为(数学)知识管理(MKM)的文档格式。

版权和许可

版权所有(c)2022 Michael Kohlhase该包是根据LaTeX项目公共许可证(LPPL)的条款分发的

维护者

迈克尔·科尔哈斯,丹尼斯·米勒,FAU Erlangen-Nürnberg。

文档

这个sTeX手册给出了一个概述和动机。这个sTeX软件包文档给出了实现的详细信息。sTeX相关出版物的完整列表可以被发现在这里.

sTeX语料库和最佳实践

sTeX提供了大量预先注释的材料作为评估依据sTeX功能和最佳实践的回归测试可用。

  • 你好世界简单的hello world集合示例展示了sTeX注释的最佳实践。
  • SMGLoM公司的语义、多语言词汇表数学(和类似学科)。SMGloM提供了大量定义和为核心数学(和计算)概念和对象。这种资源极大地促进了语义上的“起步”注释。
  • MiKoMH公司中的一组语义注释课程计算机科学和(符号)人工智能(约5000页幻灯片和注释)。约3000年存在的问题/解决方案仅在请求时可用。
  • sTeX3实验室一组实验性的再形成(大部分)SMGLoM公司要充分利用的材料sTeX3功能和俄罗斯TeX/MMT公司管道和知识管理设施。

所有这些都托管在数学中心,为主动数学文档和灵活数学的管理。组织将材料转换为“数学档案”(具有特定标准化结构GitLab存储库管理服务器大大增强了模块化和增值服务的提供。

安装程序

GIT版本只能克隆到一个目录中<sTeXDIR>由您选择。

光盘<sTeXDIR>git克隆https://github.com/slatex/sTeX.git

然后更新您的TEXINPUTS公司环境变量,例如,在.bashrc:

export TEXINPUTS=“$(TEXINPOTS):<sTeXDIR>//:

同样,设置您的数学中枢将环境变量设置为您打算将sTeX保存到的位置档案。有关详细信息,请参阅上面链接的文档。对于LaTeX IDE,更新目录路径,其中pdflatex公司寻找路径。

对于较大的文档,可能(很少)需要扩大TEX/LATEX可执行文件的内部内存分配。这可以通过在中添加以下配置来完成texmf.cnf文件(或更改它们,如果它们已经存在)。

param_size=20000%同时的宏参数,也适用于MPnest_size=1000%同步语义级别(例如,组)stack_size=10000%同时输入源主内存=12000000

请注意,您可能需要苏多这样做。之后,您必须运行命令

sudo fmtutil-sys-全部

显示

sTeX发行版包含以下目录(符合CTAN组织

关于

TeX/LaTeX的语义扩展

话题

资源

星星

观察者

叉子

发布

未发布版本

包装

未发布包

语言文字