emmy-noether

Here are 7 public repositories matching this topic...

Complete English edition of the maintained Emmy Noether corpus: linked reader, editable sources, and full provenance.

tex translation algebra mathematics english en scholarly-edition emmy-noether

Complete Korean edition of the maintained Emmy Noether corpus: linked reader, editable TeX, and full provenance.

tex translation algebra mathematics korean ko scholarly-edition emmy-noether

Source-linked Lean 4 formalizations of classical mathematics, beginning with Emmy Noether, with Mathlib coverage and reproducible build evidence.

エミー・ネーター数学論文全集 — 完全日本語版 / Complete Japanese corpus edition

Polno medžuslovjansko izdanje korpusa Emmy Noether / Complete Interslavic corpus edition

Эмми Нётер: полное русское издание корпуса — 609 страниц, исходники, решения и воспроизводимый QA

latex translation mathematics open-science russian emmy-noether

Complete PRC-oriented Simplified-Chinese edition of the maintained Emmy Noether corpus.

tex translation algebra mathematics simplified-chinese zh-hans scholarly-edition emmy-noether

To associate your repository with the emmy-noether topic, visit your repo's landing page and select "manage topics."