遇见数据集

Emmy Noether: Modern LaTeX Working Corpus and Multilingual Translation Readers

收藏
Zenodo2026-07-18 更新2026-08-02 收录
官方服务:

资源简介:

This is the reader-facing Emmy Noether working record for the Modern LaTeX Editions of Mathematics Manuscripts project. It contains the current German R823 LaTeX source control; cumulative English, Spanish, French, and Interslavic working readers; bounded components in additional languages; and editable source, provenance, repair, render, and audit material. Current bounded additions: complete Paper 37 working translations in zh-Hans-CN and controlled-generic, nonlocalized zh-Hant; Korean Paper 29 U03 for source lines 41-45; exact editable TeX/PDF; machine-readable structural and difficulty controls; and rights-aware visual evidence. U03 is an incomplete proof unit and continues at line 47 after blank line 46. Chinese Paper 37: both four-page targets are exact producer bytes. The source package includes a 48-unit local index, 85 filtered shared structural records covering theorem/definition/display/footnote units, typed terminology and adverse evidence, five Paper-37 difficulty records, build and parity controls, and an independent archive rebuild receipt. The inherited cumulative Chinese reader remains preserved as a comparison witness. Korean Paper 29 U03: the one-page target covers only lines 41-45 and supplements, rather than supersedes, U01 and U02. It includes 16 structural records and eight append-only difficulty records. It does not complete Paper 29 or its proof. Visual evidence: the Paper-37 visual package publishes eight project-generated target-reader pages. Five German control renders are represented by hashes, dimensions, density, page, parent-PDF hash, structural links, and QA dispositions only. The U03 visual package publishes three project-generated renders and records three rights-blocked source JPEGs plus one documented loss event without redistributing those JPEGs. No source-scan JPEG is uploaded in this update. Status caveat: these are substantial machine-assisted working editions, translations, source controls, and review artifacts. Bounded source-audit claims apply only to their stated units. They are not official critical editions, peer review, proof certification, independent human scholarly review, native-language/community certification, Singapore validation, Taiwan/Hong Kong/Macao localization, accessibility certification, rights determinations, or guarantees that every symbol and translation choice is correct. GitHub: corrections and improvements can be proposed through issues or pull requests at https://github.com/KokunoYumeto/modern-latex-manuscripts.

提供机构:
Zenodo
创建时间:
2026-07-18
二维码
社区交流群
二维码
科研交流群
商业服务